# CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
