Opa, tudo bem? Vou responder as perguntas uma a uma aí embaixo:
Você isolou o problema ao HDMI especificamente e outras portas da GPU como DisplayPort funcionam ou simplesmente após a instalação você não tem um sinal de vídeo?
Não fiz nada. Eu apenas instalei o driver e, quando reiniciei o notebook, não teve mais o sinal. Foi só eu remover o driver e voltar para o Nouveau que está tudo funcionando perfeitamente. Como eu não entendo nada de hardware e funcionamento do computador em si - sou um usuário comum - não sei o que tu está falando.
Você desabilitou o Secure Boot na sua UEFI, está assinando os módulos manualmente ou cadastrou sua chave MOK?
Eu segui o passo a passo do Debian no link que compartilharam aqui, mas não desabilitei o Secure Boot. Até cheguei a fazer alguma coisa relacionada ao MOK quando usava o Fedora, mas também não deu certo. Daí aqui eu repito que, como sou um usuário comum, certas coisas eu tenho nem ideia como fazer ou segurança de fazer e não ferrar o computador.
Opa. Muito obrigado pelas dicas.
Vou fazer aqui daqui um tempo e daí dou um retorno.
Muito obrigado mesmo.