kernel: add mingw

Add the option to build a cross-compiler for kernel type 'mingw'.
The resulting cross-compiler can be used to build applications on a Linux host
that can be run on a Windows target.

Compiler is build using the mingwrt and w32-api packages aviable from the
MinGW project (http://sourceforge.net/projects/mingw).

The windows headers (w32-api package) are extracting with the kernel_headers
step The libraries and other headers from both packages are build and
installed in the various steps of libc

Signed-off-by: Bart vdr Meulen <bartvdrmeulen@gmail.com>
[yann.morin.1998@anciens.enib.fr: fix kernel headers comment, don't "return 0"]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

 # Menu for the native gdbserver

 config GDB_GDBSERVER

     bool

     prompt "gdbserver"

     default n

     depends on ! BARE_METAL

     help

       Build and install a gdbserver for the target, to run on the target.

 if GDB_GDBSERVER

 config GDB_GDBSERVER_STATIC

     bool

     prompt "Build a static gdbserver"

     default y

     help

       In case you have trouble with dynamic loading of shared libraries,

       you will find that a static gdbserver comes in handy.

 endif # GDB_GDBSERVER

 if BARE_METAL

 comment "In bare-metal, you'll need to   "

 comment "provide your own gdbserver stub."

 endif # BARE_METAL