Hi
The dts gets compiled when you compile the kernel. The dts would be found in the kernel tree at arch/arm64/boot/dts/marvell/armada-3720-community.dts
This file also is where the interface names are set.
As for how to load it – I am pretty sure that the kernel loads the .dtb from /boot/ and it does not require loading into NVRAM specifically.