# CONFIG_DEVFREQ_THERMAL is not set