Another thing that I missed. I was looking at the Arduino 101 (AKA Genuino 101), which has an Intel Curie module on-board as a processor. Which is based around Intel Quark SE C1000 silicon. And that silicon has an x86 core, and a ‘sensor sub-system’. And that sensor sub-system has an ARC EM4 processor* (1.81 DMIPS/MHz, 4.02 …
This story continues at Good Lord, Intel added a 32bit RISC core
Or just read more coverage at Electronics Weekly