Nvidia Jetson TK1に再インストールするドライバを確認するには？

質問：

Linux for Tegra（L4T）を実行している32ビットARMコンピュータにnvidiaドライバを再インストールしたいのですが、正しいドライババージョンが何であるか、どこで入手できるのか、正しくインストールする方法がわかりません。

背景：

リモートデスクトップを使用してNVidia Jetson TK1（32ビットARMコンピュータ）に接続しようとしています。ターミナルでstartxを実行すると、拡張GLXをロードすると動作が停止します。

sha1sum -c /etc/nv_tegra_release を実行し、最初は libglx.so チェックサム FAILED (apt-get アップグレードが問題を引き起こした可能性があります) を実行しましたが、元のものと交換したところ、OK と表示されます。

/usr/lib/xorg/modules/extensions/libglx.so: 確認

残念ながら、この方法では問題は解決されませんでした。

（主に同じ問題を抱えていますが、異なるハードウェアを持つ人々の）合意は、私の次のステップは、私のグラフィックカードと一致する適切なnvidia-xyzドライバをクリアして再インストールすることです。

板：

Tegra K1 SOC NVIDIA Kepler GPU（192個のCUDAコアを含む）NVIDIA 4-Plus-1™クアッドコアARM®Cortex™-A15 CPU

Linuxディストリビューション： ヘッダー -n 1 /etc/nv_tegra_release

R19（リリース）、リビジョン：2.0、GCID：3896695、ボード：ardbeg、EABI：ハード、日付：2014年4月18日金曜日23:10:46 UTC