Salut,
Alors il y a une vieille méthode qui date de 2008, en espérant que la gestion des modules audio n'ait pas changé:
cat /proc/asound/modules
va te donner la liste des modules actifs
note celui qui correspond à ATI HDMI
ensuite edite /etc/modprobe.d/blacklist
et rajoute une ligne du type
blacklist snd_hda_intel
Mais avec le module ATI HDMI, et après un reboot la sortie hdmi ne devrait plus apparaître.
En espérant que ça règle le problème,
toutefois je suis surpris, j'ai une config similaire chez moi et ça marche sans problème...
T'es déjà allé voir dans Préférences->Son-> sorties audio je suppose ?