Update notes for submitted changes

* xen: Fix for build break in XEN