diff --git a/3rdparty/libgfxinit b/3rdparty/libgfxinit
index 88a7f17b7d..31a5217d39 160000
--- a/3rdparty/libgfxinit
+++ b/3rdparty/libgfxinit
@@ -1 +1 @@
-Subproject commit 88a7f17b7d7a4f8a4d25ef6b87c71236b0862f5d
+Subproject commit 31a5217d39f95b51dc1fbe452f0e169507ca95d7
diff --git a/src/drivers/intel/gma/hires_fb/gma.adb b/src/drivers/intel/gma/hires_fb/gma.adb
index 87e0900981..0ee4a73212 100644
--- a/src/drivers/intel/gma/hires_fb/gma.adb
+++ b/src/drivers/intel/gma/hires_fb/gma.adb
@@ -1,9 +1,11 @@
 with HW.GFX;
 with HW.GFX.Framebuffer_Filler;
 with HW.GFX.GMA;
+with HW.GFX.GMA.Display_Probing;
 
 use HW.GFX;
 use HW.GFX.GMA;
+use HW.GFX.GMA.Display_Probing;
 
 with GMA.Mainboard;
 
@@ -55,7 +57,7 @@ is
       use type pos32;
 
       ports : Port_List;
-      configs : Configs_Type;
+      configs : Pipe_Configs;
 
       success : boolean;
 
@@ -70,10 +72,10 @@ is
 
       if success then
          ports := Mainboard.ports;
-         HW.GFX.GMA.Scan_Ports (configs, ports);
+         HW.GFX.GMA.Display_Probing.Scan_Ports (configs, ports);
 
          if configs (Primary).Port /= Disabled then
-            for i in Config_Index loop
+            for i in Pipe_Index loop
                exit when configs (i).Port = Disabled;
 
                min_h := pos16'min (min_h, configs (i).Mode.H_Visible);
@@ -86,7 +88,7 @@ is
                 BPC     => 8,
                 Stride  => ((Width_Type (min_h) + 63) / 64) * 64,
                 Offset  => 0);
-            for i in Config_Index loop
+            for i in Pipe_Index loop
                exit when configs (i).Port = Disabled;
 
                configs (i).Framebuffer := fb;
diff --git a/src/drivers/intel/gma/text_fb/gma.adb b/src/drivers/intel/gma/text_fb/gma.adb
index bbb6d74e3d..5df203b580 100644
--- a/src/drivers/intel/gma/text_fb/gma.adb
+++ b/src/drivers/intel/gma/text_fb/gma.adb
@@ -1,8 +1,10 @@
 with HW.GFX;
 with HW.GFX.GMA;
+with HW.GFX.GMA.Display_Probing;
 
 use HW.GFX;
 use HW.GFX.GMA;
+use HW.GFX.GMA.Display_Probing;
 
 with GMA.Mainboard;
 
@@ -30,7 +32,7 @@ is
       lightup_ok  :    out Interfaces.C.int)
    is
       ports : Port_List;
-      configs : Configs_Type;
+      configs : Pipe_Configs;
 
       success : boolean;
 
@@ -48,7 +50,7 @@ is
 
       if success then
          ports := Mainboard.ports;
-         HW.GFX.GMA.Scan_Ports
+         HW.GFX.GMA.Display_Probing.Scan_Ports
            (Configs  => configs,
             Ports    => ports,
             Max_Pipe => Primary);
diff --git a/src/mainboard/google/slippy/gma-mainboard.ads b/src/mainboard/google/slippy/gma-mainboard.ads
index 1fc3906fed..cd5e2f51be 100644
--- a/src/mainboard/google/slippy/gma-mainboard.ads
+++ b/src/mainboard/google/slippy/gma-mainboard.ads
@@ -13,13 +13,15 @@
 --
 
 with HW.GFX.GMA;
+with HW.GFX.GMA.Display_Probing;
 
 use HW.GFX.GMA;
+use HW.GFX.GMA.Display_Probing;
 
 private package GMA.Mainboard is
 
    ports : constant Port_List :=
-     (Digital1,
+     (HDMI1,
       Internal,
       others => Disabled);
 
diff --git a/src/mainboard/kontron/ktqm77/gma-mainboard.ads b/src/mainboard/kontron/ktqm77/gma-mainboard.ads
index cf866174d8..bd2d32f6cd 100644
--- a/src/mainboard/kontron/ktqm77/gma-mainboard.ads
+++ b/src/mainboard/kontron/ktqm77/gma-mainboard.ads
@@ -1,6 +1,8 @@
 with HW.GFX.GMA;
+with HW.GFX.GMA.Display_Probing;
 
 use HW.GFX.GMA;
+use HW.GFX.GMA.Display_Probing;
 
 private package GMA.Mainboard is
 
@@ -11,9 +13,9 @@ private package GMA.Mainboard is
    ports : constant Port_List :=
      (DP2,
       DP3,
-      Digital1,
-      Digital2,
-      Digital3,
+      HDMI1,
+      HDMI2,
+      HDMI3,
       Analog,
       Internal,
       others => Disabled);
diff --git a/src/mainboard/roda/rv11/variants/rv11/gma-mainboard.ads b/src/mainboard/roda/rv11/variants/rv11/gma-mainboard.ads
index e16846d77a..6357b6e189 100644
--- a/src/mainboard/roda/rv11/variants/rv11/gma-mainboard.ads
+++ b/src/mainboard/roda/rv11/variants/rv11/gma-mainboard.ads
@@ -1,9 +1,11 @@
 with HW.GFX.GMA;
+with HW.GFX.GMA.Display_Probing;
 
 use HW.GFX.GMA;
+use HW.GFX.GMA.Display_Probing;
 
 private package GMA.Mainboard is
 
-   ports : constant Port_List := (Internal, Digital3, others => Disabled);
+   ports : constant Port_List := (Internal, HDMI3, others => Disabled);
 
 end GMA.Mainboard;
diff --git a/src/mainboard/roda/rv11/variants/rw11/gma-mainboard.ads b/src/mainboard/roda/rv11/variants/rw11/gma-mainboard.ads
index 52b81fab4c..51c5a2baff 100644
--- a/src/mainboard/roda/rv11/variants/rw11/gma-mainboard.ads
+++ b/src/mainboard/roda/rv11/variants/rw11/gma-mainboard.ads
@@ -1,6 +1,8 @@
 with HW.GFX.GMA;
+with HW.GFX.GMA.Display_Probing;
 
 use HW.GFX.GMA;
+use HW.GFX.GMA.Display_Probing;
 
 private package GMA.Mainboard is
 
@@ -11,8 +13,8 @@ private package GMA.Mainboard is
    ports : constant Port_List :=
      (DP2,
       DP3,
-      Digital2,
-      Digital3,
+      HDMI2,
+      HDMI3,
       Analog,
       Internal,
       others => Disabled);