Update notes for submitted changes

* smp, idle: Allocate idle thread for each possible cpu during boot