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

Ensures compatibility with GCC 13.

(cherry picked from commit a4be8a21b0e2c752da0042c79aae5942418f53e2)

Original-Change-Id: Ic41a20167b88b5952642cc59e80315c5d2fd98b0
Original-Signed-off-by: Nico Huber <nico.h@gmx.de>
Original-Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/76491
Original-Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Original-Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
GitOrigin-RevId: a4be8a21b0e2c752da0042c79aae5942418f53e2
Change-Id: I7290ecaa1645e0dab1b62b908f57648af762c671
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/third_party/coreboot/libgfxinit/+/4738171
Reviewed-by: Kangheui Won <khwon@chromium.org>
Commit-Queue: Kangheui Won <khwon@chromium.org>
Tested-by: ChromeOS Prod (Robot) <chromeos-ci-prod@chromeos-bot.iam.gserviceaccount.com>
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 =>