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/ironlake/hw-gfx-gma-port_detect.adb b/common/ironlake/hw-gfx-gma-port_detect.adb
index 1432568..e8cb3fa 100644
--- a/common/ironlake/hw-gfx-gma-port_detect.adb
+++ b/common/ironlake/hw-gfx-gma-port_detect.adb
@@ -63,9 +63,9 @@
 
       type PCH_Port_To_GMA_Port is array (PCH_HDMI_Port) of Port_Type;
       To_Digital_Port : constant PCH_Port_To_GMA_Port :=
-        (PCH_HDMI_B => Digital1,
-         PCH_HDMI_C => Digital2,
-         PCH_HDMI_D => Digital3);
+        (PCH_HDMI_B => HDMI1,
+         PCH_HDMI_C => HDMI2,
+         PCH_HDMI_D => HDMI3);
       To_DP_Port : constant PCH_Port_To_GMA_Port :=
         (PCH_HDMI_B => DP1,
          PCH_HDMI_C => DP2,