libc/mingw: replace mingw32 with generic mingw

Replace the 32-bit-only mingw32 with mingw-w64 that is capable
of building toolchains for both 32-bit and 64-bit Windows.

kernel/mingw: replace mingw32 with generic Windows
kernel/windows: New windows kernel supporting 32 and 64 bit arch
libc/mingw: Remove old options
patches: Remove old mingw libc options' patches

Signed-off-by: "Yann Diorcet" <diorcet.yann@gmail.com>
[yann.morin.1998@free.fr: array var in libc/mingw.sh, typos]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <b045ac08fc9eac2e5ee3.1352898499@blackmint>
Patchwork-Id: 198901

 # Compute microblaze specific values

 CT_DoArchTupleValues () {

     # The architecture part of the tuple:

     CT_TARGET_ARCH="${CT_ARCH}${target_endian_el}"

     # gcc ./configure flags

     CT_ARCH_WITH_ARCH=

     CT_ARCH_WITH_ABI=

     CT_ARCH_WITH_CPU=

     CT_ARCH_WITH_TUNE=

     CT_ARCH_WITH_FPU=

     CT_ARCH_WITH_FLOAT=

     # CFLAGS

     case "${CT_ARCH_FLOAT_HW},${CT_ARCH_FLOAT_SW}" in

         y,) CT_ARCH_FLOAT_CFLAG="-mhard-float" ;;

         ,y) CT_ARCH_FLOAT_CFLAG="-msoft-float" ;;

     esac

 }