How to download/build UEFI source code of JP7.2?

How to download UEFI source code of Jetpack7.2?

And how to build and flash to board?

Thanks!

https://github.com/NVIDIA/edk2-nvidia

Thanks!