#19
in
Raspberry Pi
Not official as in it doesn't come from the Raspberry Pi people, but official as in it's what everyone who wants UEFI uses.
Sending Pi 5s to people who're going to review them before the release makes sense, but of course it'd have been nice if they sent them to people who contribute important pieces of the ecosystem, too.
The RPi4 has had a functional port of TianoCore for a while now, which is likely what they were referring to. You can use e.g. generic aarch64 UEFI Fedora images out of the box with it.
The rpi4 has uefi firmware available, this allows you to boot any generic uefi aarch64 image, you no longer need rpi specific images.