diff -r 5506fbbad59b -r 5318d1a11029 config/kernel/bare-metal.experimental.in
--- a/config/kernel/bare-metal.experimental.in	Tue Sep 16 17:39:40 2008 +0000
+++ b/config/kernel/bare-metal.experimental.in	Mon Sep 29 18:16:03 2008 +0000
@@ -3,13 +3,9 @@
 config KERNEL_bare_metal
     select BARE_METAL
     help
-      Say 'y' here if you want a simple C compiler with no C library.
-      
-      'Bare metal' also refer to those programs that run without any kernel.
+      '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 only kernels or bootloaders.
-
-config BARE_METAL
-    bool
-    default n
+      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?!?!...