Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/amd64/Makefile.config	(revision b1c8dc0cbdabf4d3aeb9f7f176d5c048406067c5)
@@ -29,4 +29,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n