more useful stuff for bringing up the RPi