changed name of arch/arm/configs/otter_selinux_deconfig to arch/arm/configs/selinux_deconfig