Comment 61 for bug 36014

Mirco - unfortunately, the bug is in an obscure part of the cpufreq code, and dmesg and lsmod don't show anything abnormal. The bug _does_ have a tendency to randomly appear and disappear. You might want to try resetting the BIOS, perhaps that will help.

I suppose if you blacklisted all of the cpufreq code, it might solve the problem, though of course you would have no frequency scaling. You could also use my hackish fix. In addition, I'm thinking about writing the safer fix that I outlined earlier. Unfortunately, I have no way of knowing whether it will work or not (my computer randomly stopped having the bug about 6 months ago), so you would need to test the kernel. Luckily, we are both running Edgy. I'll try to do this in the next few days.