May I have a question about this command? I know “git pull” to renew my local repository. Why don’t you “git clone” and use this branch directly? Comparing to original u-boot, this branch seems to have all files to work.
Regards
is just a fork of GitHub - u-boot/u-boot: "Das U-Boot" Source Tree, in the past I’ve had users think my repo was “mainline” when i had the directions written as your recommend… So i make sure to show it as a separate branch. 
Regards,