Comment 9 for bug 1762835

This is the Xenial config: It uses bcm2835 and bcm2835_sdhost which is a mix of the upstream and downstream drivers.

CONFIG_MMC=y
CONFIG_MMC35240=m
CONFIG_MMC_ARMMMCI=y
CONFIG_MMC_BCM2835=y
CONFIG_MMC_BCM2835_DMA=y
CONFIG_MMC_BCM2835_PIO_DMA_BARRIER=2
CONFIG_MMC_BCM2835_SDHOST=y
CONFIG_MMC_BLOCK=y
CONFIG_MMC_BLOCK_BOUNCE=y
CONFIG_MMC_BLOCK_MINORS=32
# CONFIG_MMC_DEBUG is not set
CONFIG_MMC_DW=m
CONFIG_MMC_DW_EXYNOS=m
CONFIG_MMC_DW_K3=m
CONFIG_MMC_DW_PLTFM=m
CONFIG_MMC_MTK=m
CONFIG_MMC_REALTEK_USB=m
CONFIG_MMC_SDHCI=y
CONFIG_MMC_SDHCI_F_SDH30=m
CONFIG_MMC_SDHCI_IO_ACCESSORS=y
CONFIG_MMC_SDHCI_OF_ARASAN=m
CONFIG_MMC_SDHCI_OF_AT91=m
CONFIG_MMC_SDHCI_PLTFM=y
CONFIG_MMC_SPI=m
# CONFIG_MMC_TEST is not set
CONFIG_MMC_TMIO=m
CONFIG_MMC_TMIO_CORE=m
CONFIG_MMC_USDHI6ROL0=m
CONFIG_MMC_USHC=m