I haven't seen an SoC with a binary driver for the SD card since the Zaurus's 2.4 kernel. What are you referring to here? I'm not even sure that SDMI is support

I haven't seen an SoC with a binary driver for the SD card since the Zaurus's 2.4 kernel. What are you referring to here? I'm not even sure that SDMI is supported by all MMC/SD host controllers anymore.