[TF-A] Questions raised about Measured Boot + fTPM test case