efi_loader: correctly handle no tpm device error