Configure Linaro for unsupported board (TE0720)

I'd like to adapt the ADI provided Linux image to a TE0720, and I'm having some problems. Some quick background first:

I started by setting up the image on an SD card. I figured that after this I could put my own BOOT.bin, uImage, and devicetree.dts onto the BOOT partition and call it good. However I can't boot the device. I get nothing over UART, and the LED pattern on the board indicates that it is attempting to boot from the SD card, but can't.

These are the steps I went through to create the three files for the BOOT partition.

  1. BOOT.bin itself requires two files, system_top.hdf and u-boot.elf
    1. system_top.hdf was generated by Vivado after going through ADI's guide for porting their HDL to unsupported board (having adapted the ZC702 design) and placed in the "~/hdl/projects/fmcomms2/te0720/fmcomms2_te0720.sdk/system_top.hdf" directory.
    2. u-boot.elf was generated according to the Xilinx guide linked to by ADI. This is one of the steps I am the least sure about. The settings I used were:
      1. export CROSS_COMPILE=arm-linux-gnueabihf-
      2. export ARCH=arm
      3. Target: Zynq cse_qspi <- This seemed like the appropriate generic option since the TE0720 uses QSPI Flash, but I'm not sure if it's actually the right choice.
      4. After that I just ran the script provided by ADI and gave it the two previous files as arguments.
    3. uImage was generated according to the ADI guide. I used the same CROSS_COMPILE and ARCH options from the u-boot.elf step.
      1. I removed HDMI from the HDL, but didn't see other options to use in place of "make zynq_xcomm_adv7511_defconfig". I'm not sure if this is a problem.
      2. I don't know if the the load address needs to be 0x00008000 for any particular reason, or if I should make sure a parameter elsewhere matches this value.
    4. devicetree.dts was made according to the Xilinx guide.
      1. I believe the bootargs parameter in this guide is overwritten by whatever is in uEnv.txt, but I made it match the boot args there just in case.

    I feel like this is too broad of a question, but am I missing an important setting? Or just going about this the wrong way?

    Removed concatenation.
    [edited by: nturner at 11:59 PM (GMT 0) on 18 Feb 2019]