--- arch/i386/kernel/reboot.c.old	2006-06-18 03:49:35.000000000 +0200
+++ arch/i386/kernel/reboot.c	2006-07-01 17:29:23.000000000 +0200
@@ -31,6 +31,12 @@
 #ifdef CONFIG_SMP
 static int reboot_cpu = -1;
 #endif
+#ifdef CONFIG_ACPI
+extern u32 acpi_disable(void);
+#else
+static u32 acpi_disable(void){};
+#endif
+
 static int __init reboot_setup(char *str)
 {
 	while(1) {
@@ -322,6 +328,7 @@
 
 void machine_emergency_restart(void)
 {
+	acpi_disable();
 	if (!reboot_thru_bios) {
 		if (efi_enabled) {
 			efi.reset_system(EFI_RESET_COLD, EFI_SUCCESS, 0, NULL);