Comment 12 for bug 1269600

Update #2:

The patch mentioned above solved the problem for me. The patch was applied to the kernel in v3.14-RC4. I am now using that kernel with 14.04 for some weeks without any trouble. From my point of view, this can be closed. I just hope 14.04 gets released with at least v3.14 so i dont need to use a custom kernel after release.