# CONFIG_MMC_CAVIUM_THUNDERX is not set