Index: defaults/arm32/Makefile.config
===================================================================
--- defaults/arm32/Makefile.config	(revision 00287cc152fcd78464c9296775809f965d6e96fd)
+++ defaults/arm32/Makefile.config	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
@@ -17,4 +17,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n