These two files go in the boot partition of the sdcard.
Then the board will boot whatever DHCP say to boot.
I normally have DHCP give a fixed answer and have that be 
a symlink to the real thing I want booted.

boot.bin from Xilinx vendor build for 2023.1