With nixpkgs 20.03, the provided cargo package can no longer use the old rustc-or1k.
The Sayma RTM FPGA does not have one.