Teensy 3.0: 48/96 MHz, Arduino Due: 84 MHz, ARM cellphones: 1-1.5Ghz. Why?

I can think of a couple more...

I would think it isn't fair to compare those ARM chips to SoCs out there.

I would venture to predict that the hobbyist markets for those ARM chips are tiny vs. the industrial applications of such chips. The learning curve for those chips are beyond what most hobbyists can overcome.

Well, we have a few test cases to see how wrong that prediction is.