Change-Id: If1d0fbe95223351ea098504cf24f076784b26a9c
Signed-off-by: Chengyu Zheng <chengyu.zheng@polimi.it>
Reviewed-on: http://openocd.zylin.com/4102


Tested-by: jenkins
Reviewed-by: Freddie Chopin <freddie.chopin@gmail.com>