Exynos4: Fix build

Change-Id: Idb327b37156e2014a34a8831ce6d60769e3217af
(cherry picked from commit 99008c2002fdf5d005f2b882613a6bc3b5420743)