Post-boot loading of OP-TEE