[PATCH 1/1] efi_loader: update EFI specification version