[PATCH] arm64: Kconfig: make SCHED_MC and SCHED_SMT depend on SMP