2013-12-04, 21:13
And here again, new kernels for the lazy ones.
Changes see github
Edit: Make triple sure, that you boot that new kernel. As the mainline -rc1 kernel appears newer to update-grub.
Code:
wget https://dl.dropboxusercontent.com/u/55728161/linux-image-3.13.0-rc2%2B_0.3_amd64.deb https://dl.dropboxusercontent.com/u/55728161/linux-headers-3.13.0-rc2%2B_0.3_amd64.deb
sudo dpkg -i *13*0.3*deb
Edit: Make triple sure, that you boot that new kernel. As the mainline -rc1 kernel appears newer to update-grub.