# CONFIG_MMC35240 is not set