Those are drivers for the regular GPUs that you plug into a PCI slot on an ARM server. I don't think they'd work with the onboard GPU on the Tegra SoC.