Update notes for submitted changes

* xen: Fix segfault during xen bringup