switch to gcc 4.2.4 for avr32