Update notes for submitted changes

* Fix missing kernel output via VNC/Spice on boot