Ich würde auch mal einen Blick auf die AVR64db.. Controller werfen.
12 Bit ADC, mehr Schnittstellen, Mehr Timer, Event System und vergleichsweise günstig.