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>

# Bare metal config options

config KERNEL_bare_metal

    select BARE_METAL

    help

      'Bare metal' refers to those programs that run without any kernel.

      You probably want to say 'y' here if you plan to use your compiler

      to build bootloaders. It is not yet suitable to build Linux kernels,

      though, because the APCI stuff relies on the target C library headers

      being available?!?!...