[PATCH 2/2] ARM: s3c64xx: cpuidle - use timekeeping wrapper