[PATCH 0/3] efi_loader: setting boot device