The article says the first product has a dual core ARM cortex-A5 processor.
It also says that x86 will appear in later products. It's probably still too early for those products to appear in the market. I will be really interested to see how the x86 design performs on TSMC transistors.