По карточке с контроллерами проблема: sdhc-контроллер в вивадо платный, плюс на него драйверы написаны на C++, не компилируется в составе ядра, но можно подключить карточку по SPI стандартным ядром, попутно в настройках указав везде поддержку MMC over SPI (правда тут проблема вообще другая уже — эта настройка слетает в процессе сборки, что бы я ни делал). В результате в лучшем случае добивался того, что карточку видит, но когда начинается попытка ее смонтировать — ошибки чтения секторов — тут уже видимо глубины встроенной фифо не хватает (ставил 256 и это не хватает):