[Fedora-xen] Re: SElinux causes kernel bug on F7(?)