Nebenbei, dein Board hat bereits einen Spannungsregler, daher kannst du auch zwischen 5 und 12 V anschließen. Dieser (onboard)Spannungsregler stellt dann die 3,3 V bereit, der der AVR32 benötigt...

Gruß,
Lemonsquash