No puedo hablar de HDMI con conocimiento, yo uso DVI. Pero supongo que en la configuración del sonido se podrá seleccionar la salida o desactivar el sonido en el HDMI o algo así, no te compliques tanto, que no será tan dificil.