Comment # 17 on bug 85526 from Hamish Wilson

(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...