The Bora [https://wiki.dave.eu/index.php/Building_U-Boot_(BELK/BXELK) Building_U-Boot] wiki page describes how to keep updated with DAVE's git repository and build the required u-boot version.
The binaries used in this AN can be found into our [https://mirror.dave.eu/bora/belk-4.1.2/ mirror server]