[openocd/f16] (3 commits) ...Adding the missing patch.

[Dean Glazeski]

Summary of changes:

  370361b... OpenOCD: Updating spec file and new sources. (*)
  19ab679... Updating the sources file. (*)
  64cc333... Adding the missing patch. (*)

(*) This commit already existed in another branch; no separate mail sent