This works with openocd 0.10 only. Change-Id: I0a56701976ac01f3a80e73f00da9c75b4b0e123d Signed-off-by: Anas Nashif <anas.nashif@intel.com>