Fix `system_was_patched` repair ticket

All system_was_patched repair tickets used the same ID, so dismissing it once would cause it to not appear again. This is fixed now by deleting a previous ticket before creating a new one.

Full Changelog: v1.12.0...v1.12.1