There are processors with a clock frequency of 200MHz or so. Or even higher. They are probably ARM type, what else could they be. Is anybody able to tell is there going to be such Arduinos. Or has Atmel said something about this.
Raspberry PI has ARM and a clock of hundreds of megahertz.