gcc: fix avr32 default GCC version