dmesg showing debian booting on a pi4 using a stock kernel and UEFI/ACPI https://media.akko.wtf/d0208d9cdd8ecd2677881fb31a285a79313291c3655793470eb3d76579d8a20d.png
yup it's working, did have to boot from the efi shell though since there isn't an actual nvram that the OS can manipulate for boot entries