diff -r 38cc05a621f0 -r 75ee9a87c0e4 config/kernel/mingw32.in
--- a/config/kernel/mingw32.in	Thu Jul 15 09:51:55 2010 +0200
+++ b/config/kernel/mingw32.in	Fri Sep 10 12:14:24 2010 +0200
@@ -1,5 +1,5 @@
 # mingw32 config options
-# depends on EXPERIMENTAL
+# depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
 
 config KERNEL_mingw32
     select MINGW32