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

Change-Id: I37cfb60788b0d9b31a922b9fcdc72b2cb4975a9b