Update the RISC-V patches