Change-Id: I160faca11f231e3e839046ae2045e37e350ca613 Signed-off-by: Jan Kowalewski <jkowalewski@antmicro.com> Reviewed-on: http://openocd.zylin.com/5804 Tested-by: jenkins Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>