gma config: Introduce Have_HDMI_Buf_Override

Change-Id: Id00ae200cc8d08ce245d57b2886a40f0fea10167
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/27049
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
diff --git a/common/haswell/hw-gfx-gma-connectors-ddi-buffers.adb b/common/haswell/hw-gfx-gma-connectors-ddi-buffers.adb
index 57066b9..baceb10 100644
--- a/common/haswell/hw-gfx-gma-connectors-ddi-buffers.adb
+++ b/common/haswell/hw-gfx-gma-connectors-ddi-buffers.adb
@@ -120,11 +120,7 @@
    procedure Translations (Trans : out Buf_Trans_Array; Port : Digital_Port)
    is
       HDMI_Trans : constant DDI_HDMI_Buf_Trans_Range :=
-        (if (Config.CPU = Broadwell and
-             Config.DDI_HDMI_Buffer_Translation in Broadwell_HDMI_Range)
-            or
-            (Config.CPU /= Broadwell and
-             Config.DDI_HDMI_Buffer_Translation in Haswell_HDMI_Range)
+        (if Config.Have_HDMI_Buf_Override
          then Config.DDI_HDMI_Buffer_Translation
          else Config.Default_DDI_HDMI_Buffer_Translation);
    begin