Samsung Exynos 5 Dual to have next-gen Mali GPU, built on 32nm process