mach/cpuidle.h: Revert back to 3.4.x version