[RFC patch 09/11] cpuidle / s3c64xx : use common ARM cpuidle driver