Update notes for submitted changes

* kernel: remove extra debugging specified on the command line