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