Update cpuidle.c