Raspberry Pi 4 UEFI Booting

[cbrake]

I noticed when my Quickemu machines boot, they are using TianoCore, which appears to be a UEFI implementation.