[AVR32] Don't use __builtin_xchg()