[Fedora-xen] Configuring Xen on FC10