Comment 35 for bug 432670

I have found this bug https://bugs.launchpad.net/ubuntu/+bug/457100
and I wonder if it might be related to our bug and point to the reason for the problems with thermal control. I fond it because I fond these messages
[ 16.120024] Clocksource tsc unstable (delta = -69562152 ns)
2010-02-20 11:20:15 padlock VIA PadLock not detected.
and wanted to find out, what they mean. Reading this report, it seems like the clocksource has something to do with the acpi. Unfortunately the descriptions of what happens are vague (logout, suddenly crash) and there are now references to the thermal control. But it seems similar.

Does anyone else have these messages in the kernel-protocol?