Re: [Tee-dev] [PATCH v4 0/2] fTPM: firmware TPM running in TEE