exynos5410: Fix build

Change-Id: I1e71b92de8ca89a276dae68c8f3cddf7d7f46174