The device tree in U-Boot and U-Boot-XLNX (which is different than the one
from that recipe) do not have the SD card set as the boot device (mmc0
points to sdhci1 vs. sdhci0) and then the block for sdhci0 needs to be
enabled (status = "okay") vs. disabling sdhci1. I recall someone has put a
patch
For some reason, I can't boot the picozed-zynq7 image from an SD card on
PicoZed+FMC Carrier Card Gen2. I worked with Zedboard previously and everything
worked perfectly.
I've read all the threads about Picozed here but didn't find anything helpful.
Devicetree in "meta-xilinx-bsp/recipes-bsp/dev