Comment 14 for bug 123223

Actually, I suspect my ACPI temperature problem is a BIOS bug. I just found a new BIOS revision for my motherboard, and I'm trying it now - it may be a couple of days before I find out for sure if the new BIOS fixes it. In my case, the bad readings come at random times, sometimes for a few seconds, and sometimes long enough to force a system shutdown - but lm_sensors always reports sensible temperatures. At worst, the bad ACPI temperature readings force system shutdowns, and I can use acpi=off as a workaround.

The page_mapcount problem is far worse, as it causes a crash. I've only seen it once so far.

Correction on the CPU type: my system is using a 4800+, not a 3800+.