diff --git a/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb b/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb
index 048b7bd9da..420dc6e7d1 100644
--- a/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb
+++ b/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb
@@ -70,7 +70,7 @@ is
                configs (i).Framebuffer := fb;
             end loop;
 
-            HW.GFX.GMA.Dump_Configs (configs);
+            pragma Debug (HW.GFX.GMA.Dump_Configs (configs));
 
             HW.GFX.GMA.Setup_Default_FB
               (FB       => fb,
diff --git a/src/drivers/intel/gma/text_fb/gma-gfx_init.adb b/src/drivers/intel/gma/text_fb/gma-gfx_init.adb
index 026cb16b5c..cec21b5310 100644
--- a/src/drivers/intel/gma/text_fb/gma-gfx_init.adb
+++ b/src/drivers/intel/gma/text_fb/gma-gfx_init.adb
@@ -48,7 +48,7 @@ is
             configs (Primary).Framebuffer.Offset   :=
                VGA_PLANE_FRAMEBUFFER_OFFSET;
 
-            HW.GFX.GMA.Dump_Configs (configs);
+            pragma Debug (HW.GFX.GMA.Dump_Configs (configs));
             HW.GFX.GMA.Update_Outputs (configs);
 
             lightup_ok := 1;