3 files changed, 16 insertions, 18 deletions
diff --git a/config/kernel/bare-metal.in b/config/kernel/bare-metal.in
index a05b97e..fdccb0c 100644
--- a/config/kernel/bare-metal.in
+++ b/config/kernel/bare-metal.in
@@ -1,11 +1,10 @@
 # Bare metal config options
 
-config KERNEL_bare_metal
-    select BARE_METAL
-    help
-      'Bare metal' refers to those programs that run without any kernel.
-      
-      You probably want to say 'y' here if you plan to use your compiler
-      to build bootloaders. It is not yet suitable to build Linux kernels,
-      though, because the APCI stuff relies on the target C library headers
-      being available?!?!...
+## select BARE_METAL
+##
+## help 'Bare metal' refers to those programs that run without any kernel.
+## help
+## help You probably want to say 'y' here if you plan to use your compiler
+## help to build bootloaders. It is not yet suitable to build Linux kernels,
+## help though, because the APCI stuff relies on the target C library headers
+## help being available?!?!...
diff --git a/config/kernel/linux.in b/config/kernel/linux.in
index 19a75c8..ddc4fe0 100644
--- a/config/kernel/linux.in
+++ b/config/kernel/linux.in
@@ -1,6 +1,5 @@
 # Linux kernel options
 
-config KERNEL_linux
-    select KERNEL_SUPPORTS_SHARED_LIBS
-    help
-      Build a toolchain targeting systems running Linux as a kernel.
+## select KERNEL_SUPPORTS_SHARED_LIBS
+##
+## help Build a toolchain targeting systems running Linux as a kernel.
diff --git a/config/kernel/mingw32.in b/config/kernel/mingw32.in
index a20411a..f121e98 100644
--- a/config/kernel/mingw32.in
+++ b/config/kernel/mingw32.in
@@ -1,10 +1,10 @@
 # mingw32 config options
-# depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
 
-config KERNEL_mingw32
-    select MINGW32
-    help
-      Build a toolchain targeting systems running Windows as host
+## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
+##
+## select MINGW32
+##
+## help Build a toolchain targeting systems running Windows as host
 
 choice
     bool