[GIT PULL] OP-TEE typo fix for v6.17