Out of interest, are you able to try an arbitrary kernel?
I'm afraid that is beyond my Linux Kernel abilities. I am just a user able to poke in some configuration files, and maybe fight a little with Synaptic / APT. But maybe the Ubuntu guys can. You can reach the guy doing some extra testing here: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/2049634 Regards, rdiez
