A boot loader for UEFI and BIOS