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