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