cpuidle44xx.c: a little bit lower c3/c4 target residencies