Has anyone tried booting from the second sdhci controller since 2019.1? 2882b39d564bfa531d86aa22900658285483107d in u-boot-xlnx removes env_set("sdbootdev", "1") yet xilinx_zynqmp.h still relies on it! Am I the only one with this problem?