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/hw-gfx-gma-config.ads.template b/common/hw-gfx-gma-config.ads.template
index 6ef5555..ca61b06 100644
--- a/common/hw-gfx-gma-config.ads.template
+++ b/common/hw-gfx-gma-config.ads.template
@@ -131,14 +131,14 @@
       Haswell     => Valid_Per_Port'
         (Disabled => False,
          Internal => Config.Internal_Display = DP,
-         Digital3 => CPU_Var = Normal,
+         HDMI3    => CPU_Var = Normal,
          DP3      => CPU_Var = Normal,
          Analog   => CPU_Var = Normal,
          others   => True),
       Broadwell   => Valid_Per_Port'
         (Disabled => False,
          Internal => Config.Internal_Display = DP,
-         Digital3 => CPU_Var = Normal,
+         HDMI3    => CPU_Var = Normal,
          DP3      => CPU_Var = Normal,
          Analog   => CPU_Var = Normal,
          others   => True),