When generating an boot image with an ELF region that is meant to be loaded to a 64-bit address such as the upper region of DDR (0x8_0000_0000), Bootgen fails to put that information in the load address field of the partition header.
I am expecting the following:
But I am seeing the following:
To work around this issue, manually (or preferably with a script) modify the BOOT.bin to point to the correct load address.
See (UG1137) for more details on the boot image format.