add fact describing Xen domains in detail