Index: defaults/mips32/Makefile.config
===================================================================
--- defaults/mips32/Makefile.config	(revision eb56bd71ab2df642cc22e7bbafa70ec33c3b3720)
+++ defaults/mips32/Makefile.config	(revision 5eb90cbf3afe6afd7b4236a6cc328c7c634b9ff6)
@@ -23,4 +23,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n