Default 32-bit x86 arch for Fedora 12