Eu consegui a solução utilizando as instruções de outro post do fórum, solução dada pelo Slompo.
A solução foi adicionar um arquivo shell bootstrap.sh para verificar se a ISO tem o puppet instalado, caso não tenha executar a instalação antes do arquivo Puppet. Segue a solução do Slompo
Arquivo bootstrap.sh adicionado na pasta manifests
#!/bin/sh
set -e -x
if which puppet > /dev/null ; then
echo "Puppet is already installed"
exít 0
fi
export DEBIAN_FRONTEND=noninteractive
sudo wget -q http://apt.puppetlabs.com/puppetlabs-release-pc1-precise.deb -O /tmp/puppetlabs.deb
sudo dpkg -i /tmp/puppetlabs.deb > /dev/null
rm /tmp/puppetlabs.deb
sudo apt-get update
echo Installlng puppet
sudo apt-get install -y puppet
echo "Puppet installed!"
Colocando o arquivo na pasta, você adiciona ao arquivo Vagrantfile a seguinte linha:
config.vm.provision "shell", path: "manifests/bootstrap.sh"
Logo após a linha config.vm.box = "hashicorp/precise32"
Fico aguardando posição dos instrutores para saber se existe uma forma diferente de resolver este problema.