# CONFIG_MMC_DW_HI3798MV200 is not set
