Zündspule hatte ich bei menem ABK auch defekt. Ist aber der Kompaktblock von z.b. BERU. Die war aber irreversibel defekt, d.h. der Motor ist nicht wieder angesprungen.
Die Endstufe würde ich nicht tauschen, du weißt nichts über die Induktivitäten, das Kernmaterial etc. Und die Schalttransistoren bzw. deren Beschaltung ist sicherlich unterschiedlich von Hersteller zu Hersteller, noch dazu ist das allles zeitkritisch denn diese Endstufe taktet den Zündvorgang mit ca. 35kHz, die eigentliche Entladung besteht dann aus mehreren kleinen Vor-Ionisierungen (durch kleine Pulse auf die Induktivität) und dann kommt erst der Hauptimpuls mit voller Aufladung der Induktivität.
Ich würde mich auch erstmal mit dem Hallgeber beschäftigen, deine Beschreibung passt eher dazu.