Re: [GIT PULL] OP-TEE fixes for v7.3