Ну все-таки нашел я, как нужно собирать ядро для rk3399-based плат, чтобы система грузилась с sd-карточки. Как и предполагал, одних только модулей для mmc/sd-mmc недостаточно. Необходимы модули для регуляторов питания. Пока что остается открытым вопрос, можно ли эти драйверы собрать в качестве загружаемых модулей, или все-таки надо их вкомпилять в ядро. Ну и может я чего лишнего впиндюрил. Но все грузится. Завтра отпишусь, что надо добавить.
Антон, еще один вопрос назрел. В Альте/Базальте нет случаем кого-нибудь, кто бы мог пропихнуть патч в ядро? Там всего то надо несколько строчек добавить в fdt для nanopc-t4, чтобы звук заработал. Я даже удивляюсь, почему это еще не поправили.