RISC-V: Add vxsat as a register