Aarch64 UEFI and ACPI firmware for Raspberry Pi 3 and 4

I just tested it on my RPi 3 model B+, and it booted plain, vanilla Aarch64 UEFI images of both the Debian and Ubuntu installers just fine.

I’m now running vanilla Debian instead of Raspbian and have proper Aarch64-support. I think that’s a pretty good improvement and future-proofing of the unit as a whole.

Not sure how well it works for desktops and specialised setups where you might want hats, GPIO, etc, but for plain headless compute-units/network-appliances it seems absolutely fine to me.