Кстати, ядро 5.0.4 уже. Rockchip поддерживается, но u-boot есть только для следующих устройств:
evb-rk3399
ficus-rk3399
firefly-rk3399
rk3399-sapphire-excavator
rock960-rk3399
Где-то месяц/пол месяца назад я попытался проверить альтовское ядро (4.20 или 5.0.х какое там было в это время) на rockchip-е. Делал это с уже предустановленным и проверенным с другим дистрибутивом u-boot. u-boot грузит ядро (я это вижу через сериальный интерфейс), дальше глухо, как в танке.
До того, чтобы сформировать всю карточку в том числе с альтовскими модулями загрузчика, пока руки не дошли. Насколько я понял, что месяц назад для rockchip-а в alt-rootfs-installer еще не было поддержки. И у меня сложилось впечатление, что набор загрузочных модулей на тот момент был не совсем полным. Но может быть, я в чем-то не разобрался.
Было бы желательным, если бы добавили dts/dtb для NanoPC-T4. Фактически у нас то без особых проблем и купить можно firefly-rk3399, да NanoPC-T4. Еще вроде у Orange-Pi есть плата на rk3399. Насколько я понимаю, evb-rk3399 и rk3399-sapphire-excavator - это платы, которые либо вообще уже нельзя купить (даже за бугром), или никто покупать не будет.