[GIT PULL] OP-TEE update for 7.1