[PATCH 1/2] efi_loader: factor out efi_set_load_options()