# CONFIG_ASUS_WMI is not set
