[PlutoIsAPlanet]

You can install the mainline ARM UEFI builds of Debian onto the RPi and install it like a regular PC.

I've not been able to find any other SBC that is able to do that.