avr32 build fixes