Combines the selection of both relevant config files. Change-Id: Icc7d0add2f0a2ceab5ed715ef8d6b3b6a70ec774
Initial check-in of openocd-0.7.0 as it can be downloaded from http://sourceforge.net/projects/openocd/files/openocd/0.7.0/ Any modifications will follow. Change-Id: I6949beaefd589e046395ea0cb80f4e1ab1654d55