Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ kernel/arch/amd64/src/debugger.c	(revision be6038b02a9cb66447514d4b608a01b4083cb42d)
@@ -36,5 +36,4 @@
 #include <console/kconsole.h>
 #include <console/cmd.h>
-#include <symtab.h>
 #include <print.h>
 #include <panic.h>
@@ -45,4 +44,8 @@
 #include <func.h>
 #include <smp/ipi.h>
+
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
 
 typedef struct  {
@@ -230,6 +233,11 @@
 		}
 	}
+
+#ifdef CONFIG_SYMTAB
 	printf("Reached breakpoint %d:%lx(%s)\n", slot, getip(istate),
 	    get_symtab_entry(getip(istate)));
+#else
+	printf("Reached breakpoint %d:%lx\n", slot, getip(istate));
+#endif
 
 #ifdef CONFIG_KCONSOLE
@@ -356,5 +364,9 @@
 	for (i = 0; i < BKPOINTS_MAX; i++)
 		if (breakpoints[i].address) {
+#ifdef CONFIG_SYMTAB
 			symbol = get_symtab_entry(breakpoints[i].address);
+#else
+			symbol = "n/a";
+#endif
 
 #ifdef __32_BITS__
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ kernel/arch/amd64/src/interrupt.c	(revision be6038b02a9cb66447514d4b608a01b4083cb42d)
@@ -44,5 +44,4 @@
 #include <mm/as.h>
 #include <arch.h>
-#include <symtab.h>
 #include <arch/asm.h>
 #include <proc/scheduler.h>
@@ -54,4 +53,8 @@
 #include <ddi/irq.h>
 
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
+
 /*
  * Interrupt and exception dispatching.
@@ -67,6 +70,10 @@
 /*	uint64_t *x = &istate->stack[0]; */
 
+#ifdef CONFIG_SYMTAB
 	if (!(symbol = get_symtab_entry(istate->rip)))
 		symbol = "";
+#else
+	symbol = "";
+#endif
 
 	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n", n, __func__);