[PATCH 3/3] docs: Xen improvements