# CONFIG_THERMAL_MMIO is not set