Comment 4 for bug 1031260

Hi, I will test with the requested 3.5 kernel shortly.

As already stated however I've found posts on, iirc, the kernel mailing list where a user stated he resolved the problem by upgrading his kernel to 3.3 vanilla.