cpuidle44xx.c: reverted again