Update notes for submitted changes

* Fix BigSwitch plugin to handle device_id re-use in porttracker code