Como se constata, o zangão destruiu tudo. Adicionou o ubuntu-319 à lista negra. Eu não fui capaz de encontrar todos os lugares onde tocou arquivos de configuração, então eu limpei o sistema e fiz uma reinstalação limpa.
Depois disso, a porta HDMI funcionou novamente. Eu deixei isso acontecer e nem instalei os drivers da NVIDIA.
Não é uma solução muito satisfatória, mas uma solução.