Does anyone know where the gen_loader.py and generate_ptable.sh scripts mentioned on this page https://github.com/96boards/documentation/wiki/UEFI under the "Build UEFI for HiKey" section are located?

I'm building UEFI and arm trusted firmware from source, but without those scripts can't create the final image to flash.