There is already a patch out for Ubuntu: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1274349