avr32: whitespace fix