Update cpuidle.h