Improve mount options for /etc/puppet