da scheint es ein Problem mit einem Programm unter Linux zu geben.
In späteren Beiträgen wird erklärt dass, das Paket modemmanger entfernt werden sollte.
Anschließend können Programme mit der Einstellung Sparkfun Pro Micro 5V hochgeladen werden wenn man den "Reset-Trick" benutzt.