2c13773a38
Also fix a typo/pasto when checking devices against devices/types in the configuration file: use value from configuration, not the end of the device_info table. Devices which aren't explicitly specified in the device_info table can now be used by adding a type entry in the config file.