debug: Use RTOS OpenOCD for Spike for now.