# CONFIG_MMC_DW is not set
