MFC r342100:
Add some more checking to the RISC-V page fault handler.