Comment 119 for bug 556232

Thank you very much for your hard and dedicated work Andreas. I'm more than happy that the fault has been pinned down. Your efforts are greatly appreciated, be sure of that!
But what is the next step? I'd guess that the next officlal Ubuntu kernel update should contain the update, or..?