diff -r f637b6c2162b -r 0d4a72f421a0 config/kernel/mingw32.in
--- a/config/kernel/mingw32.in	Sun Jul 11 21:36:20 2010 +0200
+++ b/config/kernel/mingw32.in	Tue Aug 31 18:57:56 2010 +0200
@@ -1,4 +1,5 @@
 # mingw32 config options
+# depends on EXPERIMENTAL
 
 config KERNEL_mingw32
     select MINGW32