Update notes for submitted changes

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