Existem algumas respostas considerando a instalação dos drivers cuda no debian 9 (stretch) aqui, porém, até onde eu posso julgar, eles misturam o Ubuntu com fontes Debian, e isso provavelmente travou meu sistema quando eu segui suas instruções.
Existe um tutorial no site oficial do Debian sobre como instalá-lo sem criar um "FrankenDebian" (é assim que eles o chamam), mas é para o Debian 8 (Jessy).
Eu não sei o suficiente, para entender como eu devo ajustar este tutorial para as necessidades do Debian 9 (trecho)