added other devices to debian_devices