Fix minor avr32 compiler issue