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