Update RISC-V ports