Hast du die üblichen Atmel-Distributoren schon alle befragt?
Welchen AVR32 meinst du eigentlich genau? Gibt ja mehrere.
Bist du dir sicher, die einzeln kaufen zu wollen, dann musst du ja selbst ein board dafür entwickeln. Wie aufwändig das ist, hängt aber davon ab, welchen du verwenden willst.