And those cores do not run x86.

I was pretty surprised to find out that the weird non-architectural cores in a Core or Xeon really do run x86 code.