Comment 102 for bug 1173681

luca.delpivo, if you would like to see a fix for the issue so you don't have to manually modify, it will help immensely if you filed a new report with the Ubuntu repository kernel (not mainline/upstream) via a terminal:
ubuntu-bug linux

Please feel free to subscribe me to it.

For more on why this is helpful, please see https://wiki.ubuntu.com/ReportingBugs.