Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision a294ad07c4e1a72ddd9bcff5b35ee94dc3ec6e28)
+++ generic/src/cpu/cpu.c	(revision 444ec64e8e2332fc99ef4845e8a6838d5afdb5f4)
@@ -68,8 +68,4 @@
 			spinlock_initialize(&cpus[i].lock, "cpu_t.lock");
 
-			#ifdef CONFIG_SMP
-			waitq_initialize(&cpus[i].kcpulb_wq);
-			#endif /* __SMP */
-			
 			for (j = 0; j < RQ_COUNT; j++) {
 				spinlock_initialize(&cpus[i].rq[j].lock, "rq_t.lock");