Comment 77 for bug 727620

Same here. Testing these new kernel .deb's doesn't fix the issue. At the contrary, in my case I never was able to boot using this kernel, while it works using a non-patched kernel.