diff -r f7653e06e3c6 -r aa1d248fa51b config/kernel_cygwin.in
--- a/config/kernel_cygwin.in	Sun May 13 19:09:55 2007 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-# Cygwin 'kernel' options
-
-config KERNEL
-    string
-    default "cygwin"