Если кто столкнется с подобной проблемой:
У себя я нашел в чем причина: вышел из строя аналоговый переключатель ts5a3157 (микросхема U32 в сервис мануале) на материнке. Он как раз переключает канал управления Hdmi с одного порта на другой. После его замены все заработало как положено.