Как узнать, какой блоб дерева устройств (файл dtb) я использую?

Я работаю с TS-4900, встроенным модулем «Компьютер на модуле», подключенным к базовой плате, под управлением Yocto Linux. Он использует U-Boot для запуска, и, предположительно, основываясь на модели базовой платы, он выбирает правильный файл DTB для запуска и, возможно, если ему не удается найти...