Some updates for Xen