Update notes for submitted changes

* Fix SeaMicro driver post landing for ba207b4aa0