Added command-line argument to select either EFI or bios bootloader