Index: defaults/amd64/Makefile.config
===================================================================
--- defaults/amd64/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/amd64/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -29,4 +29,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n
Index: defaults/arm32/Makefile.config
===================================================================
--- defaults/arm32/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/arm32/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -17,4 +17,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n
Index: defaults/ia32/Makefile.config
===================================================================
--- defaults/ia32/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/ia32/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -35,4 +35,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n
Index: defaults/ia64/Makefile.config
===================================================================
--- defaults/ia64/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/ia64/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -29,4 +29,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n
Index: defaults/mips32/Makefile.config
===================================================================
--- defaults/mips32/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/mips32/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -23,4 +23,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n
Index: defaults/ppc32/Makefile.config
===================================================================
--- defaults/ppc32/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/ppc32/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -17,4 +17,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n
Index: defaults/sparc64/Makefile.config
===================================================================
--- defaults/sparc64/Makefile.config	(revision 421c8338127caee7f13ab5e70216f4ed042e8b22)
+++ defaults/sparc64/Makefile.config	(revision eada065ed94f5f5b588f03c3685cfed92a7987e8)
@@ -32,4 +32,7 @@
 CONFIG_KCONSOLE = y
 
+# Kernel symbol information
+CONFIG_SYMTAB = y
+
 # Detailed kernel logging
 CONFIG_LOG = n