openocd: renumber patch

Patch 0001 was removed a while ago, so rename the 0002 patch to 0001.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
This commit is contained in:
Thomas Petazzoni 2017-04-29 15:07:22 +02:00
parent 3b6c74d708
commit d3849946a3