Abort Interrupt blockiert OpenOCD Neustart

Hallo,

ich verwende das LPC2478 Entwicklungsboard von embedded artist. Wenn ich 
eine DAbort Exception bekomme dann kann ich die debug-session zwar 
abbrechen und neu starten (terminate and relaunch) allerdings gelingt 
OpenOCD+gdb kein korrekter Neustart. Der Debugger bleibt in startup.s 
stehen und läuft von dort aus aber auch nicht weiter.
Selbst ein Reset des Boards scheint nichts daran zu ändern. Erst eine 
Neuprogrammierung des flash bringt den LPC2478 und OpenOCD in einen 
Zustand in dem ich wieder korrekt starten kann.

Kennt jemand dieses Verhalten und weiss eine Abhilfe ?

Gruss
Markus