I tried various combinations, but all of them did not yield a dtb file.
KERNEL_DEVICETREE = "virtex440-ml507.dtb" (as you suggested in your original email, but I guess it might have been a typo? should be .dts?) KERNEL_DEVICETREE = "virtex440-ml507.dts" KERNEL_DEVICETREE = "arch/powerpc/boot/dts/virtex440-ml507.dts"
How exactly should I specify the .dts to get yocto to generate the .dtb file?
I found the solution, I had to ensure that the KERNEL_DEVICE tree variable evaluate to the following