AVR32: Must add NOPs after disabling interrupts for AT32UC3A0512ES