Should also fix Hydra attempting to build this stuff on x86, like https://hydra.nixos.org/build/71533289
For qemu, at 1.4 from upstream. For Sopine / Pine A64-LTS, at 1.0 from fork.
ARM trusted firmware is required as part of the boot process on some ARMv8-A boards. Currently, only the RK3328 is supported in nixpkgs. This makes the Rock64 u-boot image bootable.