Passei vários dias tentando fazer a conexão HDMI do notebook funcionar sem sucesso. Identificava a TV mas não passava sinal.
O resultado da minha busca: existem alguns cabos que são dual (ou coisa parecida) que não funciona em determinados equipamentos. Existem outros cabos single (ou algo parecido) que funciona perfeitamente. Então, vale tentar outros cabos.
O problema não era de Kernel, driver ou hardware. Era só o cabo.
Fica pra documentação pra outros casos. Meu equipamento é Intel.