DVI1/HDMI1: Problema de detección

[Antidieu]

Tengo una laptop con puerto HDMI, que es detectado como un DVI después del arranque; aparece con el nombre de DVI1 en el sistema y no manda señal de audio cuando conecto un televisor en caliente (hotplug). Pero si conecto el televisor en frío (coldplug), es decir, antes del arranque, entonces el puerto es reconocido correctamente y aparece como HDMI1 en el sistema; en este caso, sí hay señal de audio de la portátil al televisor.

¿Alguien más aquí ha tenido este problema o sabe cuál es la causa de este comportamiento? Si alguien ya tiene la solución, por favor, dígame cómo hizo para que el dispositivo sea detectado siempre bajo el mismo nombre. Ahí les dejo el enlace hacia el post original (inglés), donde está la información detallada del equipo.

viewtopic.php?f=56&t=20945

Hasta ahora no he recibido mucha respuesta y prácticamente me he contestado a mí mismo, se lo agradecería si me sacan de este lío.