[GIT PULL] Fix race condition in AMDTEE driver