NVIDIA Tegra binaries for Debian