# CONFIG_SENSORS_ASUS_WMI is not set
