Puppet niceties for running a Raspberry Pi with Gentoo