Puppet configuration for my Raspberry Pi