rename selinux defconfig