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