[RISCV] fix: Use WRITE_ONCE() when setting page table entries

[RISCV] fix: Use WRITE_ONCE() when setting page table entries #400