It would be easier though (still have to figure which source package in the above link) to go to your specific L4T release (see “head -n 1 /etc/nv_tegra_release”, and then pick the source from that particular release: https://developer.nvidia.com/linux-tegra