diff -r 6cb56b3f2d34 -r c95c1ccf5b77 config/kernel/windows.in
--- a/config/kernel/windows.in	Wed Nov 14 14:05:49 2012 +0100
+++ b/config/kernel/windows.in	Sat Jan 04 20:16:18 2014 +0100
@@ -1,6 +1,6 @@
 # windows config options
 
-## depends on EXPERIMENTAL && ARCH_x86
+## depends on ARCH_x86
 ##
 ## select WINDOWS
 ##