Update notes for submitted changes

* kernel: do not assume arch is arm