# CONFIG_DELL_WMI_SYSMAN is not set
