--- linux/kernel/sys.c.orig	Wed Aug 23 01:09:16 2000
+++ linux/kernel/sys.c	Wed Aug 23 01:11:27 2000
@@ -11,9 +11,12 @@
 #include <linux/notifier.h>
 #include <linux/reboot.h>
 #include <linux/prctl.h>
+#include <linux/kbd_kern.h>
 
 #include <asm/uaccess.h>
 #include <asm/io.h>
+extern void pckbd_leds(unsigned char leds);
+
 
 /*
  * this indicates whether you can reboot with ctrl-alt-del: the default is yes
@@ -186,6 +189,7 @@
 	case LINUX_REBOOT_CMD_HALT:
 		notifier_call_chain(&reboot_notifier_list, SYS_HALT, NULL);
 		printk(KERN_EMERG "System halted.\n");
+                pckbd_leds(7); /* useless with a true `halt' */
 		machine_halt();
 		do_exit(0);
 		break;
@@ -193,6 +197,7 @@
 	case LINUX_REBOOT_CMD_POWER_OFF:
 		notifier_call_chain(&reboot_notifier_list, SYS_POWER_OFF, NULL);
 		printk(KERN_EMERG "Power down.\n");
+                pckbd_leds(7);
 		machine_power_off();
 		do_exit(0);
 		break;