mod xen ks config