# CONFIG_WMI_BMOF is not set
