ARM: mach-s5pv210: use standard arch_idle()