Add kernel with SElinux support