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>

# Dummy config file to not use a C library *at all*

# depends on BARE_METAL

config LIBC_none

    help

      Do not use a C library.

      This is usefull if your project is self-contained, does not rely on

      an external C library, and provides all the necessary bits.

      Most probably usefull to bootloaders, as they generally don't depend

      on the C library.

      If unsure: do *not* choose that, and use another option in the choice.