Yes, that was it! OpenOCD sets three break bits in dcsr: ebreakm, ebreaks, and ebreaku. Since dcsr is only available while in debug mode, I modified OpenOCD to set the ebreak* bits to zero rather than one. I’m now able to debug a Linux application using gdbserver and gdb.
Thanks!