Please check and may be you can try u-boot-dtb.elf.
Mh, don't know how to create this kind of file?
Jagan maybe knows more but I don't think u-boot-dtb.elf is generated. Just u-boot-dtb.bin is generated which should be copied as data file in xmd and not sure if binary file can be directly used for bootgen.
IMHO, there is a file u-boot-dtb (elf) generated when we build FDT u-boot I thought that can have a facility boot using BOOT.BIN.
I guess it's good to have a try.
Here is how files are generated. [u-boot]$ make -j8 V=1 | grep u-boot.dtb cp dts/dt.dtb u-boot.dtb cat u-boot.bin dts/dt.dtb > u-boot-dtb.bin
u-boot.dtb is just dtb file.
[u-boot]$ ls -la u-boot* -rwxr-xr-x 1 monstr monstr 1525805 2014-03-27 14:13 u-boot -rw-r--r-- 1 monstr monstr 270608 2014-03-27 14:13 u-boot.bin -rw-r--r-- 1 monstr monstr 11860 2014-03-27 13:00 u-boot.dtb -rw-r--r-- 1 monstr monstr 282468 2014-03-27 14:13 u-boot-dtb.bin -rw-r--r-- 1 monstr monstr 270672 2014-03-27 14:13 u-boot.img -rw-r--r-- 1 monstr monstr 1179 2014-03-27 12:55 u-boot.lds -rw-r--r-- 1 monstr monstr 267756 2014-03-27 14:13 u-boot.map -rw-r--r-- 1 monstr monstr 811906 2014-03-27 14:13 u-boot.srec [u-boot]$ dtc -O dts -I dtb u-boot.dtb | head -n 20 /dts-v1/;
/ { #address-cells = <0x1>; #size-cells = <0x1>; compatible = "xlnx,zynq-7000"; model = "Xilinx Zynq";
aliases { ethernet0 = "/amba@0/ps7-ethernet@e000b000"; serial0 = "/amba@0/serial@e0001000"; spi0 = "/amba@0/ps7-qspi@e000d000"; };
chosen { bootargs = "console=ttyPS0,115200 root=/dev/ram rw earlyprintk"; linux,stdout-path = "/amba@0/serial@e0001000"; };
cpus {
M