Merge pull request #140 from oxidecomputer/clobber-fix

Change RISC-V register names in clobbers.