diff -urpN --exclude-from=/home/davej/.exclude bk-linus/kernel/sys.c linux-2.5/kernel/sys.c
--- bk-linus/kernel/sys.c	2002-11-21 02:24:38.000000000 +0000
+++ linux-2.5/kernel/sys.c	2002-11-21 18:05:19.000000000 +0000
@@ -390,6 +390,7 @@ asmlinkage long sys_reboot(int magic1, i
 		device_shutdown();
 		printk(KERN_EMERG "System halted.\n");
 		machine_halt();
+		unlock_kernel();
 		do_exit(0);
 		break;
 
@@ -399,6 +400,7 @@ asmlinkage long sys_reboot(int magic1, i
 		device_shutdown();
 		printk(KERN_EMERG "Power down.\n");
 		machine_power_off();
+		unlock_kernel();
 		do_exit(0);
 		break;