Eine offizielle Ankündigung gibt es zwar noch nicht, im Git von kernel.org findet sich jedoch ein Eintrag, der einen 4-Kern-SoC aus der „Exynos“-Familie von Samsung enthält. Der als „Exynos 4412“ bezeichnete SoC verfügt über vier Cortex-A9-Kerne dürfte dem bereits vorgestellten Exynos 4212 mit zwei Cortex-A9-Kernen ähneln.
