Kernel with SELinux support