Revert "sched/cpuidle: reduce IPI store."

This was unnecessary as it is already “backported” in proper form
within the source release by Samsung.
deported: this is for private runtime modification