Index: generic/src/cpu/cpu.c
===================================================================
--- generic/src/cpu/cpu.c	(revision a294ad07c4e1a72ddd9bcff5b35ee94dc3ec6e28)
+++ generic/src/cpu/cpu.c	(revision e72b0a30a14e868957bf9f86c100110b82876f03)
@@ -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");