[PATCH 3.16 41/86] x86/Kconfig: Select SCHED_SMT if SMP enabled