Comment 9 for bug 1318551

Btw. the kernel I'm using currently can be found at and of page http://big-bum.uni.cx/ftp.html

linux-image-3.15.0-pf4+_3.15.0-pf4+-10.00.Custom_amd64.deb

However ftp seems to be down currently...