sched/cpuidle: reduce IPI store. Backport upstream 3.16 scheduler updates

Change-Id: I95f16152b6e4c2aacadf33467012477cb677fc57