RE: [GIT PULL] OP-TEE update for v7.4