Add selinux to dom0 distro.