Not really that surprising. Your average laptop nowadays probably has more ARM cores than x86 cores. They're in all kinds of peripherials like wifi controllers, power supplies, harddisk controllers, GPU job control, heck even AMD's recent APUs come with an integrated Cortex-A5.[1] ARM cores are everywhere, people just don't know about it. [1] http://www.anandtech.com/show/6007/amd-2013-apus-to-include-...
Intel platforms also had an ARC processor (they approximately cater the same markets as ARM minus mobile) for years in the ME. AMD does the same thing with an ARM core. Practically all peripherals contain at least one programmable processor. Remote management / IPMI also usually works with an entirely separate ARM computer that's integrated with the main computers graphics unit -- basically a shared framebuffer, just…
That is true for older designs. But didn't Intel switch from ARC to SPARC for their ME core not that long ago? Discussed here a while back: