Bootloader for systems using EFI-based firmware

 This is the Linux bootloader for systems using the Intel EFI firmware
 specification. This includes all ia64 systems, and some ia32 systems.