Oi Eduardo, tudo bem?
Eu não sei responder em termos avançados sobre isso. Mas mesmo o Vagrant possuindo a identificação de qual máquina criar na amazon (AMI) você precisa indicar um box para ele.
Como o Guilherme fala no vídeo da aula, "a box não faz nada, mas ele serve bem pra amazon", tanto que se você baixar ele não é nem mesmo 1 kilobyte, diferente das boxes com ubuntu server que rodam na virtualbox que são em média 400 megabytes, cujo tamanho aumenta a medida que você instala programas.
Na prática, só vai funcionar se tiver o box. Na documentação do plugin, é indicado que você pode fazer o seguinte:
$ vagrant box add dummy https://github.com/mitchellh/vagrant-aws/raw/master/dummy.box
...
Fazendo isso antes, não é mais necessário indicar a url no Vagrantfile.
Porém o config.vm.box
deve estar de acordo com o nome da box:
config.vm.box = "dummy"
Faz sentido?
Abraço.