> Just ask the hard kernel / odroid guys - they have eight cores

Of which you can only use 4 at a time because Exynos 5410 is broken.

> at about the same price point.

69% more expensive.