[Fedora-xen] F17 Kernel Badness