riscv: Use generic CSR macros for writing SATP

Instead of having the one-off load_satp(), just use csr_write(). No
functional change intended.

Reviewed by: alc, jhb
MFC after: 1 week
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D34271