# CONFIG_MMC_DW_HI3798CV200 is not set
