Bootstrapping a Raspberry Pi with Puppet