linux/cygwin build difference

Hi, guys, I'm trying to build a new kernel for my Nios II Dev board with PCI support. I am using the patch from Microtronix and here comes the problem. I was able to compile a kernel w...