[GIT PULL] AMD-TEE for v7.2