# CONFIG_ARCH_SUPPORTS_SCHED_SMT is not set
