# CONFIG_HALTPOLL_CPUIDLE is not set
