# CONFIG_DELL_WMI is not set
