[PATCH 2/3] efi_loader: carve out efi_check_pe()