# CONFIG_SENSORS_K10TEMP is not set
