ARM: mach-exynos: use standard arch_idle()

This is equivalent and more similar to existing architectures.

Signed-off-by: Nicolas Pitre <nico@linaro.org>
2 files changed