avr32: switch to 3.10