http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51031
--- Comment #6 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2011-11-09 13:32:52 UTC --- For what concern AVX: I'm not sure what done elsewhere in gcc I think that configure should check that the "as" supports avx independently of the architecture one is building on or for. For the other error, I'm not an expert.
