setenv bootargs "root=/dev/sda2 rootwait earlycon console=ttyPS1,115200 clk_ignore_unused uio_pdrv_genirq.of_id=generic-uio xilinx_tsn_ep.st_pcp=4 cma=512M"

if test "${devtype}" = "usb"; then
  if test -e ${devtype} ${devnum}:${distro_bootpart} /Image && \
     test -e ${devtype} ${devnum}:${distro_bootpart} /zynqmp-smk-k24-revA-sck-kd-g-revA.dtb; then
    load ${devtype} ${devnum}:${distro_bootpart} 0x00200000 /Image
    load ${devtype} ${devnum}:${distro_bootpart} 0x44000000 /zynqmp-smk-k24-revA-sck-kd-g-revA.dtb
    booti 0x00200000 - 0x44000000
  fi
fi