# CONFIG_MMC_SDHCI_OF_ASPEED is not set