I didn't know there was a dedicated ubuntu kernel team when I sent the mail to ubuntu-devs earlier. Anyway, better late than never: Please have a look at this bug: https://bugs.launchpad.net/ubuntu/+bug/163185 Martin