AVR32: sync with latest Atmel source (closes #3371)