Merge branch 'x86/core' into x86/headers
authorIngo Molnar <mingo@elte.hu>
Fri, 13 Feb 2009 12:05:57 +0000 (13:05 +0100)
committerIngo Molnar <mingo@elte.hu>
Fri, 13 Feb 2009 12:05:57 +0000 (13:05 +0100)

Trivial merge