Я тут усилено курю SDK и процесс загрузки.
Удручает то, что сборка UBL выполняется в dvsdk...
Полная сборка dvsdk, в свою, очередь лезет куда-то в kernel...
Если хотя бы разок не собрать kernel, dvsdk не собирается.
Отсюда вывод, что сборка UBL стандартными средствами требует kernel.
Что-то тут не так ...
Мозг закипел, пока я эту цепочку проследил...
Без Makefile я б и не допер, что UBL может собираться в dvsdk.