Re: [PATCH 2/4] efi_loader: simplify show_efi_boot_order()