it’s possible to specify an AMI ID with cloudformation but I don’t see that anywhere in pulumi (or terraform, for that matter)