edk2-aarch64 (aarch64 UEFI firmware for Qemu)
These binaries are required to emulate aarch64 machines
on QEMU.