[U-Boot] Question about booting Linux from efi_loader