Merge branch 'dsp5680xx_cherry' of git://repo.or.cz/openocd/dsp568013 into fix