Which leads me to a rant about ARM. Grrrr RANT!! I didn't
think
I'd ever love the BIOS, but compared to the alternatives (UEFI and a
million different ARM bootloaders) it's simple and effective.
This is getting way off-topic, but... most linux-capable ARM chips
support a BIOS in the "pc" sense. Vendors choose not to do it that
way.