Update kernel with selinux support