Update Xen documentation in install.rst