x86/Kconfig: Select SCHED_SMT if SMP enabled