Enabled up to 1000 serial ports on Linux
Enabled up to 1000 serial ports on Linux


Former-commit-id: 880906618cb8cba195d6acf6d21982ef3dfaa526 [formerly f3cd2bedc1d2b9e98abbc559dc82a2b9c924122f]
Former-commit-id: a8819be554871508e5f681011b98096c493df017
arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent,arduino/arduino-create-agent