I decided to buy a $279 ($303 with taxes) HP Chromebook 11 with the Exynos5250 Dual-core ARM Cortex-A15 with Mali-T604 inside, even though it would have been nice if it already would have been shipping with the newer Exynos5420 Octa Core ARM Cortex-A15/A7 with Mali-T628. I guess that Samsung doesn’t yet provide their latest big.LITTLE yet for third parties to ship in devices? As soon as a good cheap 13.3″ Exynos5420 Chromebook is available I’ll probably switch to that latest ARM Chromebook as my main video-blogging laptop.