Patch merged into coreboot/master: 11e496b x86: include header to define types in use

the following patch was just integrated into master:
commit 11e496b6c605e8b292f1b8179500551ba2db84a2
Author: Aaron Durbin 
Date:   Mon Jan 27 15:07:26 2014 -0600

x86: include header to define types in use

The tsc header is using u32 w/o including the file
    with defines it.

Change-Id: I9fcad882d25e93b4c0032b32abd2432b0169a068
    Signed-off-by: Aaron Durbin

See http://review.coreboot.org/4843 for details.

-gerrit