Update notes for submitted changes

* Minor fixes for lib/baremetal