Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
+++ kernel/Makefile	(revision 312cc6835611cf9973757338ffdd91cb89e0ab0a)
@@ -160,4 +160,5 @@
 	generic/src/ddi/irq.c \
 	generic/src/ddi/device.c \
+	generic/src/debug/symtab.c \
 	generic/src/interrupt/interrupt.c \
 	generic/src/main/main.c \
@@ -226,12 +227,4 @@
 endif
 
-## Kernel symbol information
-#
-
-ifeq ($(CONFIG_SYMTAB),y)
-GENERIC_SOURCES += \
-	generic/src/debug/symtab.c
-endif
-
 ## Udebug interface sources
 #