Although an unpleasant problem, it's good that you discovered it - so it can be fixed. So it's time for another round of kernel updates.

At heise online news you can find the original article.