Add a RISC-V GCC port