# CONFIG_DELL_SMBIOS_WMI is not set
