gma: Rename ports Digital[123] => HDMI[123]

Before we had DP support, Digital just meant HDMI or DVI, but now it's
pretty confusing. Rename them to HDMI as it supersedes DVI.

Change-Id: Ie8b4c60ac60040aa5c725ffc9cd06aa164391756
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/17750
Reviewed-by: Reto Buerki <reet@codelabs.ch>
diff --git a/common/haswell_shared/hw-gfx-gma-port_detect.adb b/common/haswell_shared/hw-gfx-gma-port_detect.adb
index d815e05..9987aca 100644
--- a/common/haswell_shared/hw-gfx-gma-port_detect.adb
+++ b/common/haswell_shared/hw-gfx-gma-port_detect.adb
@@ -68,9 +68,9 @@
          Digital_Port range DIGI_B .. DIGI_D;
       type Digital_Port_To_GMA_Port is array (Ext_Digital_Port) of Port_Type;
       To_HDMI_Port : constant Digital_Port_To_GMA_Port :=
-        (DIGI_B => Digital1,
-         DIGI_C => Digital2,
-         DIGI_D => Digital3);
+        (DIGI_B => HDMI1,
+         DIGI_C => HDMI2,
+         DIGI_D => HDMI3);
       To_DP_Port : constant Digital_Port_To_GMA_Port :=
         (DIGI_B => DP1,
          DIGI_C => DP2,