STM32F4 - Reset nach flashen bleibt manchmal aus

Hab hier Linux + Eclipse Kepler + ARM Toolchain + st-linkv2 auf dem 407 
Disco very Board.
Etwa jedes zehnte Mal wird der 407 nach dem Flashen nicht resettet. 
Häufig passiert das, wenn man einen neuen Port in der Sw initialisiert. 
Zufall?

Gerade eben wieder, vor der ersten Tasse Kaffee, hab ich das vergessen 
und 10 Min den Fehler gesucht...

Workaround?