На самом деле в итоге удалось запустить, надо было только подкинуть нужный dtb-файл. Я сделал это через grub.cfg (параметр devicetree), но настройка ожидаемо слетает после каждого update-grub. А как бы пересборать u-boot, чтобы он сразу нужное имя платы подкидывал, да ещё и uefi грузил, в отличии от штатног? Нигде не могу найти инфы на этот счёт...