Update notes for submitted changes

* VMware: fix the VNC port allocation