[neonsunset]

Raspberry Pi (assuming 4?) supports UEFI externally. bflat can target Aarch64 ISA and UEFI as a platform producing compatible binaries that can be booted up without any further post-processing.