Update notes for submitted changes

* kernel.mk: set KERNEL_OUT properly