Comment 14 for bug 1257338

Tarpoon, given the mainline debs are not available for rc4, could you please execute the following in a terminal, boot into the new kernel, and advise if this is reproducible:
cd ~/Desktop && git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git linux-stable && cd linux-stable && git checkout 9199c4caa1315c31d160abbd166df0b9a9e8551e && cp /boot/config-`uname -r` .config && yes '' | make oldconfig && make-kpkg clean && CONCURRENCY_LEVEL=`getconf _NPROCESSORS_ONLN` fakeroot make-kpkg --initrd --append-to-version=-custom2 kernel_image kernel_headers && cd .. && sudo dpkg -i *.deb