SELinux modules for vdsm