Update notes for submitted changes

* kernel_manifest: track our own mako source