Re: [PATCH v6 1/6] efi_loader: menu-driven addition of UEFI boot option