Update notes for submitted changes

* Fix hammerhead kernel special case