Change-Id: Id72d2d7f874043331ecb5586a3797d017606129e Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk> Signed-off-by: Felix Ruess <felix.ruess@gmail.com> Reviewed-on: http://openocd.zylin.com/212 Tested-by: jenkins