Fix: write flash with openocd will fail