Update notes for submitted changes

* deb: use correct kernel repo