Although the hdmi-output is in well_known_descriptions[] table,
the hdmi device names are indexed (hdmi-output-0), thus there
is no match to assign the proper type automatically.
This patch puts the correct hdmi type to all relevant hdmi
configuration files.
Signed-off-by: Jaroslav Kysela <perex@perex.cz>
[General]
description = HDMI / DisplayPort
+type = hdmi
priority = 59
eld-device = auto
[General]
description = HDMI / DisplayPort 2
+type = hdmi
priority = 58
eld-device = auto
[General]
description = HDMI / DisplayPort 3
+type = hdmi
priority = 57
eld-device = auto
[General]
description = HDMI / DisplayPort 4
+type = hdmi
priority = 56
eld-device = auto
[General]
description = HDMI / DisplayPort 5
+type = hdmi
priority = 55
eld-device = auto
[General]
description = HDMI / DisplayPort 6
+type = hdmi
priority = 54
eld-device = auto
[General]
description = HDMI / DisplayPort 7
+type = hdmi
priority = 53
eld-device = auto
[General]
description = HDMI / DisplayPort 8
+type = hdmi
priority = 52
eld-device = auto