Actually apply the RISC-V patch