Update notes for submitted changes

* Use explicit kernel pointer typecasts