https://bugs.freedesktop.org/show_bug.cgi?id=85526
--- Comment #17 from Hamish Wilson hamish@icculus.org --- (In reply to Michel Dänzer from comment #16)
Can you try a 64-bit kernel? Does it happen with that as well?
Booting into the exact same kernel for 64-bit does indeed make the problems go away for me. Gentleman, I think we have a suspect...