OpenOCD cannot debug with STLinkv2 in stm32f4discovery

[Totoxa]

if OpenOCD is built with the patch applied by the script the debug function (in eclipse with GDB Hardware debug) doesnt work, OpenOCD show this in the console:
....
target state: halted
target halted due to debug-request, current mode: Thread
xPSR: 0x01000000 pc: 0x0800e1f8 msp: 0x20020000
target state: halted
target halted due to breakpoint, current mode: Thread
xPSR: 0x61000000 pc: 0x20000042 msp: 0x20020000
Error: gdb requested a non-existing register
Info : dropped 'gdb' connection

without the patch everything works fine