diff -r 750676a1d8ea -r 91a52bc04af9 config/kernel/mingw32.in
--- a/config/kernel/mingw32.in	Tue Aug 31 18:52:07 2010 +0200
+++ b/config/kernel/mingw32.in	Sun Nov 11 21:42:47 2012 +0100
@@ -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