Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 449d4ecc8ed0c2a118f9433897e4bc57e096211c)
+++ kernel/arch/ia64/src/interrupt.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
@@ -39,5 +39,4 @@
 #include <panic.h>
 #include <print.h>
-#include <symtab.h>
 #include <debug.h>
 #include <console/console.h>
@@ -56,4 +55,8 @@
 #include <mm/tlb.h>
 
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
+
 #define VECTORS_64_BUNDLE	20
 #define VECTORS_16_BUNDLE	48
@@ -138,7 +141,11 @@
 	char *ifa, *iipa, *iip;
 
+#ifdef CONFIG_SYMTAB
 	ifa = get_symtab_entry(istate->cr_ifa);
 	iipa = get_symtab_entry(istate->cr_iipa);
 	iip = get_symtab_entry(istate->cr_iip);
+#else
+	ifa = iipa = iip = "n/a";
+#endif
 
 	putchar('\n');