Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision 0843f0254484d658f022d606b3d47bf05f76a621)
+++ kernel/generic/include/debug.h	(revision 43e660cc1a5a90795b49dfc4c510961839c848d3)
@@ -37,5 +37,5 @@
 
 #include <panic.h>
-#include <symtab.h>
+#include <symtab_lookup.h>
 
 #define CALLER  ((uintptr_t) __builtin_return_address(0))