Cc: David P. Reed <dpreed@...>, Andi Kleen <andi@...>, linux-os (Dick Johnson) <linux-os@...>, David Newall <david@...>, Paul Rolland <rol@...>, H. Peter Anvin <hpa@...>, Krzysztof Halasa <khc@...>, Alan Cox <alan@...>, <linux-kernel@...>, Thomas Gleixner <tglx@...>, Ingo Molnar <mingo@...>, <rol@...>