Change-Id: Iefec12b30ff737317c454b472200fd7e7edde619 Signed-off-by: Freddie Chopin <freddie.chopin@gmail.com> Reviewed-on: http://openocd.zylin.com/748 Tested-by: jenkins Reviewed-by: Peter Stuge <peter@stuge.se>