1.1 --- a/config/kernel/mingw32.in	Sun Jul 11 21:36:20 2010 +0200
     1.2 +++ b/config/kernel/mingw32.in	Thu Aug 05 17:59:51 2010 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4  # mingw32 config options
     1.5 +# depends on EXPERIMENTAL
     1.6  
     1.7  config KERNEL_mingw32
     1.8      select MINGW32