# CONFIG_SENSORS_MLXREG_FAN is not set
