doubleshot_defconfig: disable CONFIG_SCHED_SMT