kernel/mingw32: show only for x86, 32-bit targets

Mingw32 on non-x86, non-32-bit target makes no sense

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

 reporter_name="Julien DUSSER"

 reporter_url="http://sourceware.org/ml/crossgcc/2008-10/msg00054.html"

 reporter_comment="Soft-float for the 405 PowerPC"