Setting DEVICE_TREE for xilinx_zynq_virt_defconfig?

Hey,

I tried building latest master 2b8692bac1e8795cbb87b0d00213fd193409851d, for a zynq device, and did according to the documentation:

$ export DEVICE_TREE=zynq-zc702 $ make xilinx_zynq_virt_defconfig $ make

Reading f7c6ee7fe7bcc387de4c92300f46cb725b845b53, I assumed this should have fixed FDT loading, but for some reason u-boot still tries to look for a `zynq-zynq.dtb` in FDTDIR.

Could it be this broke in the meantime, or is this expected?

Regards, Florian