[PATCH 4.4 208/266] x86/Kconfig: Select SCHED_SMT if SMP enabled