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 -dur strace-4.5.15.orig/system.c strace-4.5.15/system.c

--- strace-4.5.15.orig/system.c	2007-01-17 00:22:36.000000000 +0100

+++ strace-4.5.15/system.c	2007-07-14 19:28:41.000000000 +0200

@@ -1612,7 +1612,9 @@

 	{ CTL_KERN, "CTL_KERN" },

 	{ CTL_VM, "CTL_VM" },

 	{ CTL_NET, "CTL_NET" },

+#ifdef CTL_PROC

 	{ CTL_PROC, "CTL_PROC" },

+#endif

 	{ CTL_FS, "CTL_FS" },

 	{ CTL_DEBUG, "CTL_DEBUG" },

 	{ CTL_DEV, "CTL_DEV" },