New kernel config - Enable selinux