[PATCH 4.14 088/146] x86/Kconfig: Select SCHED_SMT if SMP enabled