diff -r e5bf882d6514 -r b571b3566915 config/kernel/bare-metal.in
--- a/config/kernel/bare-metal.in	Sat Nov 01 18:30:19 2008 +0000
+++ b/config/kernel/bare-metal.in	Sat May 10 12:33:37 2014 +0200
@@ -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?!?!...