Delete openocd.cfg