Added link to setting up xen