Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision 0867321c69ae9c3f09757e7ced1c100a578f28e3)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision b1c8dc0cbdabf4d3aeb9f7f176d5c048406067c5)
@@ -40,7 +40,9 @@
 #include <arch.h>
 #include <print.h>
+#include <macros.h>
+
+#ifdef CONFIG_SYMTAB
 #include <symtab.h>
-#include <macros.h>
-
+#endif
 
 static unsigned int seed = 10;
@@ -122,4 +124,5 @@
 	char *sym2 = "";
 
+#ifdef CONFIG_SYMTAB
 	char *str = get_symtab_entry(istate->pc);
 	if (str)
@@ -128,4 +131,5 @@
 	if (str)
 		sym2 = str;
+#endif
 
 	fault_if_from_uspace(istate,