small fixes for Exynos4 introduced in prev commit