# CONFIG_MMC_SDHCI_ACPI is not set
