remove duplicates, already available in selinux_defconfig