Update notes for submitted changes

* Kill device headers, use kernel headers instead