Re: [PATCH 3/3] efi_loader: setting boot device