[GIT PULL] OP-TEE fix for v5.13