Add kernel_cygwin.c