Update invirt-vnc-server and invirt-xen-config to accept the Xen 3.3