Xen section in compatibility guide and some typos