We are using PicoZed 7030 on a FMCv2 carrier board. Running a custom Linux from SD card, we can access both the SD card as well as the on-board eMMC (after explicitly enabling sdhci1 in the device tree). In u-boot, however, the only available mmc device is the SD card. What is necessary to also access eMMC in u-boot?