Xen operating system fixup iso