Re: [Tee-dev] [PATCH v3 0/2] ftpm: a firmware based TPM driver