¿Cómo puedo saber qué blob de árbol de dispositivos (archivo dtb) estoy usando?

Estoy trabajando con TS-4900, una 'Computadora en un módulo' incorporada conectada a una placa base, que ejecuta Yocto Linux. Utiliza U-Boot para iniciar, y supuestamente basándose en el modelo de la placa base, elige el archivo dtb correcto para iniciar, y posiblemente si no puede encontrar el...