diff -r 750676a1d8ea -r 986e1c75432a config/kernel/mingw32.in
--- a/config/kernel/mingw32.in	Tue Aug 31 18:52:07 2010 +0200
+++ b/config/kernel/mingw32.in	Fri Nov 18 15:29:18 2011 +0800
@@ -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