Pudiera ser el nombre que tiene asignada esa entrada HDMI, tal vez lo has puesto sin darte cuenta.