add kernel selinux config info