Update notes for submitted changes

* smp: Add generic smpboot facility
Update notes for submitted changes

* smp: Provide generic idle thread allocation
Update notes for submitted changes

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