Update notes for submitted changes

* stop_machine: Use smpboot threads