Linux-boot.elf binary which is created by petalinux