Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision c6f0e3a2d4056ec77f60764b9555ecdaf24c62d6)
+++ kernel/generic/src/main/kinit.c	(revision a4125fb155a1a1dc8d12da8d1d63d6722a79e39a)
@@ -95,7 +95,5 @@
 void kinit(void *arg)
 {
-#if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
 	thread_t *thread;
-#endif
 	
 	/*