# CONFIG_WILC1000_SDIO is not set