Re: [PATCH 1/3] efi_loader: add menu-driven boot device selection