Kernel patch for next release...

[handy]

Hopefully the next release of Ubuntu uses the repaired kernel, for its sake:

http://bugzilla.kernel.org/show_bug.cgi?id=11721#c58