Comment 4 for bug 1510247

I am not an expert user and I will not be playing with the system kernel. The previous kernel fixes the problem and the one thing i have to do to work with it is to choose it in the GRUB, so i will maintain it until a new bug-free one appears, but thanks for your tip.