[PATCH 4.19 041/139] x86/Kconfig: Select SCHED_SMT if SMP enabled