32 bit Microcontoler

KE7GKP:

The maple board is the closest thing I've seen in a 32bit design that trys to duplicate both the Arduino layout and arduino commands.

And along similar lines: much faster CPU and Arduino form-factor (hardware) compatibile:
FEZ Panda II http://www.ghielectronics.com/catalog/product/256
Netduino: http://www.netduino.com/netduino/
And other generally similar microcontroller board products. But none of them are going to be code-compatible with Arduino.

How can those be faster if they use the same core, Arm Cortex M3 and have a super hyper mega huge overhead introduced by the super stupid .Net framework?