Update notes for submitted changes

* [2/2] Speed up booting on multicore devices.