Update exynos4/hal/Android.mk