# CONFIG_CPU_IDLE_GOV_HALTPOLL is not set