diff -r d1a8c2ae7946 -r 1c6c2a687f63 config/kernel.in
--- a/config/kernel.in	Tue May 31 16:27:39 2011 +0200
+++ b/config/kernel.in	Mon May 05 21:54:03 2014 +0200
@@ -7,7 +7,7 @@
 config BARE_METAL
     bool
 
-config MINGW32
+config WINDOWS
     bool
 
 # Each target OS (aka kernel) that support shared libraries can select