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 ltrace-0.4.orig/Makefile.in ltrace-0.4/Makefile.in

 --- ltrace-0.4.orig/Makefile.in	2008-10-26 15:34:21.000000000 +0100

 +++ ltrace-0.4/Makefile.in	2008-10-26 15:37:40.000000000 +0100

 @@ -5,6 +5,7 @@

  OS		:= @HOST_OS@

  ARCH		:= $(shell echo "@HOST_ARCH@" |sed -e s/i.86/i386/      \

  						   -e s/sun4u/sparc64/  \

 +						   -e s/alpha.*/alpha/  \

  						   -e s/arm.*/arm/      \

  						   -e s/sa110/arm/      \

  						   -e s/ppc64/ppc/      \