http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47107
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> 2010-12-29 14:07:50 UTC --- This is a bug in config.gcc; it should just accept i[34567]86 like other x86 targets, not ix86.