Update notes for submitted changes

* No, build. I promise these devices have kernels.