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

diff -durN gcc-4.4.5.orig/libstdc++-v3/include/c_global/cstdio gcc-4.4.5/libstdc++-v3/include/c_global/cstdio

--- gcc-4.4.5.orig/libstdc++-v3/include/c_global/cstdio	2009-04-10 01:23:07.000000000 +0200

+++ gcc-4.4.5/libstdc++-v3/include/c_global/cstdio	2010-10-09 23:11:27.000000000 +0200

@@ -139,7 +139,7 @@

 _GLIBCXX_END_NAMESPACE

-#if _GLIBCXX_USE_C99

+#if _GLIBCXX_USE_C99 || defined __UCLIBC__

 #undef snprintf

 #undef vfscanf