avr32 workarounds