Re: Changing the default 32-bit x86 arch for Fedora 12 (#2)