# CONFIG_SENSORS_GPIO_FAN is not set