Fixed: Introduce much higher auto_increment value for devicetypes (2500)
Any manually created ones will be renumbered, this will make space for more default devicetypes.