diff -r 6cb56b3f2d34 -r 78af1c99bc6d config/kernel/windows.in
--- a/config/kernel/windows.in	Wed Nov 14 14:05:49 2012 +0100
+++ b/config/kernel/windows.in	Sun May 11 23:43:52 2014 +0200
@@ -1,6 +1,6 @@
 # windows config options
 
-## depends on EXPERIMENTAL && ARCH_x86
+## depends on ARCH_x86
 ##
 ## select WINDOWS
 ##