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