diff -r 2d90ec981ba3 -r 4795f92f58a6 config/kernel.in
--- a/config/kernel.in	Tue Jun 08 23:26:54 2010 +0200
+++ b/config/kernel.in	Wed Jul 14 19:11:12 2010 +0200
@@ -8,6 +8,10 @@
     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