Change-Id: I3b8a54d89a180bfded3dae3f1fe3d940540e6e7d Signed-off-by: Peter Dietzsch <peter.dietzsch@ib-dt.de> Reviewed-on: http://openocd.zylin.com/1333 Tested-by: jenkins Reviewed-by: Peter Stuge <peter@stuge.se>