diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb
index dfe986f..b62ebce 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -44,7 +44,7 @@
          HPD_Delay, Wait_For_HPD,
          Linear_FB_Base),
       Init_State => Initialized,
-      Config_State => (Config.Valid_Port, Config.Raw_Clock),
+      Config_State => (Config.Variable),
       Device_State =>
         (Dev.PCI_State, Registers.Register_State, Registers.GTT_State))
 is
@@ -371,9 +371,8 @@
    with
       Refined_Global =>
         (In_Out =>
-           (Config.Valid_Port, Dev.PCI_State,
-            Registers.Register_State, Port_IO.State,
-            Config.Raw_Clock),
+           (Config.Variable, Dev.PCI_State,
+            Registers.Register_State, Port_IO.State),
          Input =>
            (Time.State),
          Output =>