Fix RISC-V arch

[ccadar]

Thanks, @parras, this looks good to me, although I didn't check some of the RISC-V specifics. The only thing I would add is a couple of tests, but I guess we don't have the infrastructure yet for running end-to-end RISC-V tests.