[Fedora-xen] Xen Kernel problems