# CONFIG_XIAOMI_WMI is not set