# CONFIG_MTD_NAND_RICOH is not set