Como corrigir HDMI no Debian (saída não funciona)?

Question

Aleatoriamente a saída HDMI do meu computador (rodando Debian 8 ) não produz nada para HDMI (minha tela diz "sem sinal"). Outras vezes isso acontece. A única coisa que posso dizer é que, se funcionar logo após o boot, ele funcionará sempre, senão não funcionará e eu tenho que reiniciar minha máquina.

Fiz algumas pesquisas e aparentemente nada está errado:

• Tenho uma placa gráfica NVidia compatível com a tecnologia Optimus, por isso estou usando o bumblebee com o software proprietário da nvidia desinstalado
• lsmod | grep 'hdmi' retorna vários itens:

snd_hda_codec_hdmi     45118  1 
snd_hda_codec         104463  5 snd_hda_codec_realtek,snd_hda_codec_hdmi,snd_hda_codec_generic,snd_hda_intel,snd_hda_controller
snd_pcm                88662  4 snd_hda_codec_hdmi,snd_hda_codec,snd_hda_intel,snd_hda_controller
snd                    65244  18 snd_hda_codec_realtek,snd_hwdep,snd_timer,snd_hda_codec_hdmi,snd_pcm,snd_hda_codec_generic,snd_hda_codec,snd_hda_intel

Como posso diagnosticar o que há de errado com minha saída HDMI?