Comment by messe

> This explains several Raspberry Pi oddities:

> The Raspberry Pi has No BIOS / UEFI

This isn't really that strange for an ARM SoC.