Digilent: ZedBoard: Change dts needed for sdboot to devicetree.dtb