# CONFIG_MMC_SDHCI_OF_DWCMSHC is not set