Заметим, что это 40 нм процык, как и у огрызков. И вот эти "6 часов против 10" и есть плата за оверхеды x86 архитектуры. По эффективной производительности (железо + оптимизированный софт) полагаю, пара ядер x86 будет быстрее пары ядер Cortex-A9, хотя и не в разы.