This stops the kernel from crashing immediately after boot.
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.
The bootloader is currently non-functional because it lacks the ARM Trusted Firmware image (bl31.elf).