Descobri que quando recuei para o kernel Linux 4.8.0-78 (tive todos os problemas, acima com -79), consegui instalar a Biblioteca Cuda e tudo funcionou.
Eu acho que pode haver alguma incompatibilidade entre os drivers e a versão mais recente do kernel, mas eu não tenho as ferramentas ou o conhecimento para descobrir com certeza. Para recapitular meu procedimento de solução, selecionei Advanced Advanced Options no menu GRUB e inicializei a versão anterior (antes da atualização para -79). Eu então me certifiquei de que a GPU estava em jogo, executando o Phoronix Test Suite. Foi assim, com os dedos cruzados eu corri a instalação que tinha feito as coisas sudo apt-get install git cmake libcryptopp-dev libleveldb-dev libjsoncpp-dev libjsonrpccpp-dev libboost-all-dev libgmp-dev libreadline-dev libcurl4-gnutls-dev ocl-icd-libopencl1 opencl-headers mesa-common-dev libmicrohttpd-dev build-essential cuda -y
e depois testei novamente para ter certeza que a GPU ainda estava disponível, e era.