Comment 54 for bug 1007765

For the record, I'm running the 64-bit version of Ubuntu (3.2.0-29-generic, x86_64), maybe the problems only occurs with the 64 bit version. I've quickly searched on Google how to switch kernels to 32-bit, but it looks like that's not an easy thing to do.

Is there anybody experiencing this bug on 32-bit? If not, at least we'll have a workaround.