a paired-down version of raspi-setup for servers