Update notes for submitted changes

* jf: compress kernel with xz compression