platform.h: Add RISC-V