Re: [PATCH 06/10] Add UEFI TPM2 driver