Merge branch 'x86/unify-lib' into x86/core
authorIngo Molnar <mingo@elte.hu>
Wed, 9 Jul 2008 13:00:48 +0000 (15:00 +0200)
committerIngo Molnar <mingo@elte.hu>
Wed, 9 Jul 2008 13:00:48 +0000 (15:00 +0200)

Trivial merge