Is SELinux mandatory in the kernel ?