--- processor_idle.c.orig	2005-07-02 18:11:33.186334953 +0200
+++ processor_idle.c	2005-07-02 18:13:33.735687489 +0200
@@ -881,7 +881,7 @@
 	result = acpi_processor_get_power_info_cst(pr);
 	if ((result) || (acpi_processor_power_verify(pr) < 2)) {
 		result = acpi_processor_get_power_info_fadt(pr);
-		if (result)
+		if ((result) || acpi_processor_power_verify(pr) < 2)
 			result = acpi_processor_get_power_info_default_c1(pr);
 	}