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

Change-Id: I95f16152b6e4c2aacadf33467012477cb677fc57
squash intelli_plug: intelligent hotplug cpu driver with eco mode

Change-Id: I114eb069df88eb1dd3cf899be2f1ee6d3dcd9843