Update notes for submitted changes

* sched/cpuidle: reduce IPI store. Backport upstream 3.16 scheduler updates
Update notes for submitted changes

* Voltage Control: fix minor code derp