And this seemed to solve the problem. adding acpi=off to the running kernel in menu.lst solved the problem on my laptop, so this seems to be a kernel bug.
And this seemed to solve the problem. adding acpi=off to the running kernel in menu.lst solved the problem on my laptop, so this seems to be a kernel bug.