# CONFIG_SENSORS_PXE1610 is not set