Remove riscv64-re building
This isn't currently used for nothing and it's not clear whether it will be. We don't have a functional riscv64 runner.
This isn't currently used for nothing and it's not clear whether it will be. We don't have a functional riscv64 runner.