Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision b6dfc32140378ebf1d3b85d0671c44d44c2e8d9b)
+++ kernel/arch/ia32/src/interrupt.c	(revision b1c8dc0cbdabf4d3aeb9f7f176d5c048406067c5)
@@ -45,5 +45,4 @@
 #include <mm/as.h>
 #include <arch.h>
-#include <symtab.h>
 #include <proc/thread.h>
 #include <proc/task.h>
@@ -54,4 +53,8 @@
 #include <ddi/irq.h>
 
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
+
 /*
  * Interrupt and exception dispatching.
@@ -64,8 +67,13 @@
 void decode_istate(istate_t *istate)
 {
-	char *symbol = get_symtab_entry(istate->eip);
-
+	char *symbol;
+
+#ifdef CONFIG_SYMTAB
+	symbol = get_symtab_entry(istate->eip);
 	if (!symbol)
 		symbol = "";
+#else
+	symbol = "";
+#endif
 
 	if (CPU)