@stefan
Having used both in my time I can assure you that punch cards and paper tape are totally different things.
My understanding of "patch" was that it dates back to when computer hardware comprised a mass of separately wired components, where a failed item could be 'patched around' by rerouting the relevant wiring.