# CONFIG_MMC_DW_K3 is not set