AMD: processors for Amazon’s EC2 platforms