Update notes for submitted changes

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