Petalinux asks for u-boot-s.bin not u-boot.elf