# CONFIG_SCHED_SMT is not set
