Eu trabalhei com o Jetson TK1 e atualizar / atualizar o Ubuntu é um problema conhecido. O arquivo libglx.so é sobrescrito. Você precisa executar: "sudo apt-mark mantenha xserver-xorg-core" antes de atualizar. Veja a página wiki aqui para mais informações: link
Aparentemente, isso foi resolvido com a última imagem TK1 fornecida pela Nvidia.
Eu tive a melhor sorte de atualizar o dispositivo usando o JetPack. ( link ). Requer o Ubuntu 12/14 64 bits. E, por algum motivo, ocupa muitos espaços em disco e não consigo me livrar dele mesmo depois da desinstalação. Você pode querer tirar um instantâneo antes de instalar, se estiver usando uma VM.
Espero que ajude.
-Mike