Comment 12 for bug 1286871

The machine's been running with upstream kernel (3.14.0-031400rc5-generic) for almost six weeks now without problems. I haven't had time to do more tests with the old Ubuntu kernel, and probably won't until Trusty comes out, so I cannot tell if the kernel change made the difference or if the error was the result of some really rare combination of circumstances.