diff --git a/common/haswell_shared/hw-gfx-gma-connectors.adb b/common/haswell_shared/hw-gfx-gma-connectors.adb
index 734b11a..1af86ac 100644
--- a/common/haswell_shared/hw-gfx-gma-connectors.adb
+++ b/common/haswell_shared/hw-gfx-gma-connectors.adb
@@ -21,6 +21,12 @@
 
 package body HW.GFX.GMA.Connectors is
 
+   procedure Initialize
+   is
+   begin
+      null;
+   end Initialize;
+
    procedure Pre_On
      (Pipe     : in     Pipe_Index;
       Port_Cfg : in     Port_Config;
diff --git a/common/hw-gfx-gma-connectors.ads b/common/hw-gfx-gma-connectors.ads
index ccb9666..30a382f 100644
--- a/common/hw-gfx-gma-connectors.ads
+++ b/common/hw-gfx-gma-connectors.ads
@@ -14,6 +14,11 @@
 
 private package HW.GFX.GMA.Connectors is
 
+   pragma Warnings (GNATprove, Off, "subprogram ""Initialize"" has no effect",
+                    Reason => "Only effects some platforms");
+   procedure Initialize;
+   pragma Warnings (GNATprove, On, "subprogram ""Initialize"" has no effect");
+
    pragma Warnings (GNATprove, Off, "unused variable ""P*""",
                     Reason => "Needed for a common interface");
    procedure Pre_On
diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb
index 21b123d..1aecfab 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -364,6 +364,7 @@
 
       Panel.Setup_PP_Sequencer;
       Port_Detect.Initialize;
+      Connectors.Initialize;
 
       if Clean_State then
          Power_And_Clocks.Pre_All_Off;
diff --git a/common/ironlake/hw-gfx-gma-connectors.adb b/common/ironlake/hw-gfx-gma-connectors.adb
index 7d00fa6..8ae47fd 100644
--- a/common/ironlake/hw-gfx-gma-connectors.adb
+++ b/common/ironlake/hw-gfx-gma-connectors.adb
@@ -29,6 +29,12 @@
 package body HW.GFX.GMA.Connectors
 is
 
+   procedure Initialize
+   is
+   begin
+      null;
+   end Initialize;
+
    function Is_Internal (Port_Cfg : Port_Config) return Boolean
    is
    begin