Arduino DUE runs at 84Mhz, on a 32-bit ARM core microcontroller.
I know that... But he said "Atmel microcontroller", not "ARM processor" so I'm guessing that's not what he was thinking of.
I thought it Included all Arduino+Atmel products.
The Arduino Due is a microcontroller board based that uses the Atmel SAM3X8E ARM Cortex-M3 CPU.
otherwise I would've included the pcDuino3, it is a 1GHz ARM Cortex A7 Dual Core. But it is not an Arduino product. Only Arduino compatible.