Garrett: Booting with EFI

In addition to what Matthew said, the boot menu is also not standardized. I think there's some chance we can script some boot menus, if they're compliant with the HII guidelines, but some of them are simply outside the realm of possibility.