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
Sponsored by: The FreeBSD Foundation
(cherry picked from commit 2e956c30cab6a36fee9a3d5159c3903406e3e5e7)