Merge branch 'x86/core' into cpus4096
authorIngo Molnar <mingo@elte.hu>
Wed, 11 Mar 2009 09:49:34 +0000 (10:49 +0100)
committerIngo Molnar <mingo@elte.hu>
Wed, 11 Mar 2009 09:49:34 +0000 (10:49 +0100)

Trivial merge