Update notes for submitted changes

* BigSwitch: Sync workaround for port del deadlock