Add SELINUX to .config