--- linux-2.5.8-pre1/kernel/exit.c	2002-04-03 23:38:32.000000000 -0800
+++ linux/kernel/exit.c	2002-04-04 03:52:18.000000000 -0800
@@ -499,6 +499,7 @@
 	acct_process(code);
 	__exit_mm(tsk);
 
+	lock_kernel();
 	sem_exit();
 	__exit_files(tsk);
 	__exit_fs(tsk);