# CONFIG_MMC_SDHCI_OF is not set