# CONFIG_CBE_THERM is not set
