Comment # 10 on bug 1000907 from Aurelien Aptel

I've made another iteration on the fix. Same instructions but the package name
to install should now be kernel-default-4.1.33-2.1.gb7ddc71.x86_64