diff -r f637b6c2162b -r d1a8c2ae7946 config/kernel.in
--- a/config/kernel.in	Sun Jul 11 21:36:20 2010 +0200
+++ b/config/kernel.in	Tue May 31 16:27:39 2011 +0200
@@ -6,18 +6,15 @@
 # we have a kernel or not (there might be different bare metal stuff)...
 config BARE_METAL
     bool
-    default n
 
 config MINGW32
     bool
-    default n
 
 # Each target OS (aka kernel) that support shared libraries can select
 # this, so the user can decide whether or not to build a shared library
 # enabled toolchain
 config KERNEL_SUPPORTS_SHARED_LIBS
     bool
-    default n
 
 config KERNEL
     string