[GIT PULL] OP-TEE driver fix for v5.11