Someone here: http://article.gmane.org/gmane.linux.kernel/1186275 mentioned that booting with intel_idle.max_cstate=0 worked on his S10-3. I just tried that with the Debian kernel and that did NOT work for me. However, I don't know if that is because the ACPI sleep is not included in Debian (as I understand it, the above kernel parameter forces fall back to ACPI sleep). -- Lars