# CONFIG_MXM_WMI is not set
