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