2013-09-01, 18:13
For the brave, I build a kernel for amd64 (with the patch included) and default Ubuntu config, you can download the .deb files here:
Kernel: https://dl.dropboxusercontent.com/u/5572..._amd64.deb
Headers: https://dl.dropboxusercontent.com/u/5572..._amd64.deb
Linux-firmware: http://mirrors.us.kernel.org/ubuntu//poo...13_all.deb
Download all those files and install with sudo dpkg -i
Kernel: https://dl.dropboxusercontent.com/u/5572..._amd64.deb
Headers: https://dl.dropboxusercontent.com/u/5572..._amd64.deb
Linux-firmware: http://mirrors.us.kernel.org/ubuntu//poo...13_all.deb
Download all those files and install with sudo dpkg -i