Setup x86 and arm64 shared runners on AWS

We might use AWS as host for another set of shared runners, both for x86 and arm64.

This however depends on the cloud team's ability to provide as with a dedicated AWS account, which should be possible now.