RISC-V Post-v3 Documentation Fixups

[Palmer Dabbelt]

A few problems in the RISC-V documentation were found as part of the
submission.  Here's some fixes to them, which I'll commit on top of the rest of
the RISC-V port which has already been accepted.

Thanks for noticing this!