OpenOCD hacks