Exynos4: Fix build

Change-Id: Idb327b37156e2014a34a8831ce6d60769e3217af