diff -r 6cb56b3f2d34 -r e11a8a2e225d config/kernel/windows.in
--- a/config/kernel/windows.in	Wed Nov 14 14:05:49 2012 +0100
+++ b/config/kernel/windows.in	Tue Mar 11 22:11:43 2014 +0100
@@ -1,6 +1,6 @@
 # windows config options
 
-## depends on EXPERIMENTAL && ARCH_x86
+## depends on ARCH_x86
 ##
 ## select WINDOWS
 ##