[GIT PULL] OP-TEE fixes for v5.17