Changing the default 32-bit x86 arch for Fedora 12