> 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.