Comment 12 for bug 710319

Thanks for trying. In that case its likely somewhere else (plenty of places but hard to find). :(

Regarding your question about safety: it should be relatively safe as the change is also upstream and seems to address a corner case anyway. If you want to be on the complete official side I think "sudo apt-get install --reinstall linux-image-server" should pull you back to the official version. Or any official update which will be replacing this kernel. There is already one under preparation as far as I know. So it is a matter of a few weeks. The versioning of the package is in a way that it is newer than the official package that it is based on, but will always be replaced by anything that comes through updates.