[GIT PULL] OP-TEE update for 6.20