Comment 13 for bug 1265024

I really doubt this patch is what breaks it, but I'll test your kernel tomorrow. I'm not sure whether a saucy chroot would work or not - I first tried cross-building from 13.04 but ran into some issues there, so I cross-built from a 12.04 chroot instead. But my issues were in the build scripts and the kernel itself of course shouldn't rely on anything from the surrounding distro. Anyway, I'll try it tomorrow.