[TF-A] Re: Measured boot and external TPM modules