Merge branch 'x86/core' into x86/xsave
authorIngo Molnar <mingo@elte.hu>
Wed, 30 Jul 2008 17:36:55 +0000 (19:36 +0200)
committerIngo Molnar <mingo@elte.hu>
Wed, 30 Jul 2008 17:36:55 +0000 (19:36 +0200)

Trivial merge