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>

 # mingw32 config options

 config KERNEL_mingw32

     select MINGW32

     help

       Build a toolchain targeting systems running Windows as host

 choice

     bool

     prompt "Windows api version"

 # Don't remove next line

 # CT_INSERT_VERSION_BELOW

 config W32API_V_3_14

     bool

     prompt "3.14"

 config W32API_V_select

     bool

     prompt "Other version"

 endchoice

 config W32API_VERSION

     string

     prompt "W32 api version" if W32API_V_select

 # Don't remove next line

 # CT_INSERT_VERSION_STRING_BELOW

     default "3.14" if W32API_V_3_14

     help

       Enter the version number of the windows api files to use