Index: defaults/arm32/gta02/Makefile.config
===================================================================
--- defaults/arm32/gta02/Makefile.config	(revision 21ee6ad41b89c0fba6aa81341b24482f2d936986)
+++ defaults/arm32/gta02/Makefile.config	(revision 5c03293233abadcf511db15946c89bb6ae439f47)
@@ -8,10 +8,4 @@
 CONFIG_UDEBUG = n
 
-# Kernel console support
-CONFIG_KCONSOLE = n
-
-# Kernel symbol information
-CONFIG_SYMTAB = n
-
 # Compile kernel tests
 CONFIG_TEST = n