[PATCH] ARM: Exynos : Fix build error with thumb2