cc openocd: flip to using stlink debugger by default