diff --git a/common/hw-gfx-gma-display_probing.ads b/common/hw-gfx-gma-display_probing.ads
index 9c59652..ea13329 100644
--- a/common/hw-gfx-gma-display_probing.ads
+++ b/common/hw-gfx-gma-display_probing.ads
@@ -30,7 +30,8 @@
       Port     : in     Active_Port_Type;
       Success  :    out Boolean)
    with
-      Post => (if Success then EDID.Valid (Raw_EDID));
+      Relaxed_Initialization => Raw_EDID,
+      Post => (if Success then Raw_EDID'Initialized and EDID.Valid (Raw_EDID));
 
    procedure Scan_Ports
      (Configs     :    out Pipe_Configs;