Change-Id: Idcbe73220d7630953cb49e643a58a7ab05c395fa Signed-off-by: Marc Schink <dev@zapb.de> Reviewed-on: http://openocd.zylin.com/6406 Tested-by: jenkins Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>