Adding AMD CPU to CI

[Alex Zai]

What are people's thoughts on having AMD machines tested on the CI? AMD
machines are now available on AWS.

Best,
Alex