Use a more recent AMI for AWS

The select AMI runs on an old linux kernel, we should select an al2023 Amazon Linux AMI.