Merge branch 'x86/headers' into x86/core
authorIngo Molnar <mingo@elte.hu>
Tue, 17 Feb 2009 11:21:12 +0000 (12:21 +0100)
committerIngo Molnar <mingo@elte.hu>
Tue, 17 Feb 2009 11:21:12 +0000 (12:21 +0100)

Trivial merge