# CONFIG_MSI_WMI is not set
