Update the RISC-V patch