# CONFIG_SENSORS_ASUS_WMI_EC is not set
