Ticket #1884: arch_cpu.diff

arch_cpu.c

@@ -683 +683 @@
 
     // try to reset the system using the keyboard controller
     out8(0xfe, 0x64);
+    // Give some time to the controller to do his job
+    // (same delay as in FreeBSD).
+    snooze(500000);
 
     // if that didn't help, try it this way
     reboot();