Port libffi-3.0.13 to RISC-V