[TF-A] Re: Post-boot loading of OP-TEE