chore: Use Amazon Linux 2023 for per-arch step

No reason to use an older platform.

Signed-off-by: Takahiro Itazuri <[email protected]>

Author: zulinx86

.buildkite/common.py

@@ -256,7 +256,7 @@ def __init__(self, with_build_step=True, **kwargs):
         self.per_instance = overlay_dict(per_instance, args.step_param)
         self.per_arch = self.per_instance.copy()
         self.per_arch["instances"] = ["m6i.metal", "m7g.metal"]
-        self.per_arch["platforms"] = [("al2", "linux_5.10")]
+        self.per_arch["platforms"] = [("al2023", "linux_6.1")]
         self.binary_dir = args.binary_dir
         # Build sharing
         if with_build_step:

.buildkite/pipeline_pr.py

@@ -59,7 +59,7 @@
         # Kani step default
         # Kani runs fastest on m6a.metal
         instances=["m6a.metal", "m7g.metal"],
-        platforms=[("al2", "linux_5.10")],
+        platforms=[("al2", "linux_5.10"), ("al2023", "linux_6.1")],
         timeout_in_minutes=300,
         **DEFAULTS_PERF,
         depends_on_build=False,