modified:   exynos4x12.mk
exynos4x12 has its own HAL