UPDATE:
After some investigation, the contention is indeed a function of using the mbed firmware; no other OpenSDA firmware generates such contention. With the mbed firmware, the OpenSDA micro provides a 32kHz clock to the KL25 device via the PTC1 pin via R24 for real time clock functionality.
In the short term, removing R24 or replacing it with a 5.6k resistor resolves the issue.
Longer term, to resolve the issue, the product enablement team for the KL25 has requested that mbed provide two versions of the mbed firwware, one with the clock present and one without.