docs/specs/tpm: Correct header path name