# CONFIG_MMC_RICOH_MMC is not set
