Reference kernel for Exynos SoCs.