Fix u-boot to not need setenv fdt_high ffffffffffffffff

• Otherwise, "bootflow" with extlinux / manual booti (bootm? forgot which one is the current one) doesn't work