Index: kernel/generic/src/synch/spinlock.c
===================================================================
--- kernel/generic/src/synch/spinlock.c	(revision f651e80e2ba6968d9e184dd8ca7fa6e5b779caaf)
+++ kernel/generic/src/synch/spinlock.c	(revision 656b789da2d7f7f9eb0de7c8dc55ec4fba5a0f9d)
@@ -43,5 +43,8 @@
 #include <print.h>
 #include <debug.h>
+
+#ifdef CONFIG_SYMTAB
 #include <symtab.h>
+#endif
 
 #ifdef CONFIG_FB
@@ -77,6 +80,8 @@
 {
 	count_t i = 0;
+	bool deadlock_reported = false;
+#ifdef CONFIG_SYMTAB
 	char *symbol;
-	bool deadlock_reported = false;
+#endif
 
 	preemption_disable();
@@ -109,7 +114,9 @@
 			printf("cpu%u: looping on spinlock %" PRIp ":%s, caller=%" PRIp,
 				CPU->id, sl, sl->name, CALLER);
+#ifdef CONFIG_SYMTAB
 			symbol = get_symtab_entry(CALLER);
 			if (symbol)
 				printf("(%s)", symbol);
+#endif
 			printf("\n");
 			i = 0;