community/py3-pyocd: fix build
We had a cached earlier version of the large patch with the same name, different content, so let's rename it here. And also remove that unused patch.
We had a cached earlier version of the large patch with the same name, different content, so let's rename it here. And also remove that unused patch.