ARM: S3C64XX: Fix missing header error with CONFIG_CPU_IDLE enabled