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