Re: [GIT PULL] OP-TEE fix for 7.0