[Fedora-xen] SELinux HVM unfriendly?