Index: arch/ia32/include/smp/mps.h
===================================================================
--- arch/ia32/include/smp/mps.h	(revision 8adafa085f18d6a6e5ecb3525a4a78d4181cc769)
+++ arch/ia32/include/smp/mps.h	(revision e090e1bc608c034d91ca98e260828ceb2310c808)
@@ -117,5 +117,4 @@
 
 extern waitq_t ap_completion_wq;
-extern waitq_t kmp_completion_wq;
 
 extern struct smp_config_operations mps_config_operations;
Index: arch/ia32/src/smp/mps.c
===================================================================
--- arch/ia32/src/smp/mps.c	(revision 8adafa085f18d6a6e5ecb3525a4a78d4181cc769)
+++ arch/ia32/src/smp/mps.c	(revision e090e1bc608c034d91ca98e260828ceb2310c808)
@@ -80,6 +80,4 @@
 
 waitq_t ap_completion_wq;
-waitq_t kmp_completion_wq;
-
 
 /*
Index: arch/ia32/src/smp/smp.c
===================================================================
--- arch/ia32/src/smp/smp.c	(revision 8adafa085f18d6a6e5ecb3525a4a78d4181cc769)
+++ arch/ia32/src/smp/smp.c	(revision e090e1bc608c034d91ca98e260828ceb2310c808)
@@ -85,11 +85,4 @@
 		io_apic = (__u32 *) io_apic_address;
         }
-
-        /* 
-         * Must be initialized outside the kmp thread, since it is waited
-         * on before the kmp thread is created.
-         */
-        waitq_initialize(&kmp_completion_wq);
-
 }
 
@@ -173,10 +166,4 @@
 			printf("INIT IPI for l_apic%d failed\n", ops->cpu_apic_id(i));
 	}
-
-	/*
-	 * Wakeup the kinit thread so that
-	 * system initialization can go on.
-	 */
-	waitq_wakeup(&kmp_completion_wq, WAKEUP_FIRST);
 }