I am not sure what kind of topics did you check. This one comes out in my first search result.
sdhci@3400000 is also not sdmmc3.