[3np]

The RPi can, actually. Vanilla Debian 11 works fine. Only catch is you need to copy the bootloader and firmware (available in official GH repos) to the EFI partition. No need to patch the kernel, though.