# CONFIG_THERMAL_DEFAULT_GOV_POWER_ALLOCATOR is not set