Debian preseed config and Puppet scripts for a thin client