Rename otter_selinux_defconfig to selinux_defconfig