fix raspi device registration to the production servers