Delete devices.conf

There are 2 config files, devices_rpi.conf and devices_bbb.conf. Depending on the host device (RaspberryPi or BeagleBone Black) one has to rename one of these files to devices.conf.