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