[XS] Change in libgfxinit[main]: Avoid warning '"Pos32" is already use-visible'

[Nico Huber (Code Review)]

Nico Huber has submitted this change. ( https://review.coreboot.org/c/libgfxinit/+/76491?usp=email )

Change subject: Avoid warning '"Pos32" is already use-visible'
......................................................................

Avoid warning '"Pos32" is already use-visible'

Ensures compatibility with GCC 13.

Change-Id: Ic41a20167b88b5952642cc59e80315c5d2fd98b0
Signed-off-by: Nico Huber 
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/76491
Reviewed-by: Paul Menzel 
Reviewed-by: Elyes Haouas 
---
M common/hw-gfx-gma-pipe_setup.ads
M common/hw-gfx-gma.adb
2 files changed, 0 insertions(+), 2 deletions(-)

Approvals:
  Paul Menzel: Looks good to me, but someone else must approve
  Nico Huber: Verified
  Elyes Haouas: Looks good to me, approved

diff --git a/common/hw-gfx-gma-pipe_setup.ads b/common/hw-gfx-gma-pipe_setup.ads
index 960e70f..7270cb2 100644
--- a/common/hw-gfx-gma-pipe_setup.ads
+++ b/common/hw-gfx-gma-pipe_setup.ads
@@ -16,7 +16,6 @@
 with HW.GFX.GMA.Config_Helpers;
 with HW.GFX.GMA.Registers;

-use type HW.Int32;

private package HW.GFX.GMA.Pipe_Setup
 is
diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb
index cacafd3..c3073d3 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -33,7 +33,6 @@
 with HW.Debug;
 with GNAT.Source_Info;

-use type HW.Int32;

package body HW.GFX.GMA
    with Refined_State =>