--- src/sys/dev/acpica5/acpi.c	2005/08/29 21:07:59	1.12
+++ src/sys/dev/acpica5/acpi.c	2005/09/17 23:53:47	1.13
@@ -60,6 +60,8 @@
 #include <acnamesp.h>
 
 MALLOC_DEFINE(M_ACPIDEV, "acpidev", "ACPI devices");
+extern void cpu_idle_default_hook(void);
+extern void (*cpu_idle_hook)(void);
 
 /* Hooks for the ACPI CA debugging infrastructure */
 #define _COMPONENT	ACPI_BUS
@@ -1207,6 +1209,7 @@ acpi_shutdown_final(void *arg, int howto
 	acpi_shutdown_poweroff(NULL);
     } else {
 	printf("Shutting down ACPI\n");
+	cpu_idle_hook = cpu_idle_default_hook;
 	AcpiTerminate();
     }
 }