Update notes for submitted changes

* smp: Provide generic idle thread allocation