Puppet manifest files that bootstrap a Raspberry Pi