Cc: Rene Herman <rene.herman@...>, Alan Cox <alan@...>, David P. Reed <dpreed@...>, Pavel Machek <pavel@...>, Andi Kleen <andi@...>, linux-os (Dick Johnson) <linux-os@...>, David Newall <david@...>, Paul Rolland <rol@...>, Krzysztof Halasa <khc@...>, <linux-kernel@...>, Thomas Gleixner <tglx@...>, Ingo Molnar <mingo@...>, <rol@...>