some scripts to make the raspberry pi debian images.