config/kernel/windows.in
2012-11-14 libc/mingw: replace mingw32 with generic mingw