This makes `ARCH=riscv64 Toolchain/BuildGNU.sh` work, but the patches might not be completely correct.