[PATCH 10/10] cpuidle: Fix ct_idle_*() usage