Es gibt erfreuliche Nachrichten:
Der Miner läuft wieder!

Ja, es war ein Anwendungsfehler von mir – ich musste den Reset-Knopf und gleichzeitig den Boot-Knopf drücken. Dann begann er zu flashen.
Jetzt habe ich alles eingerichtet, und bisher funktioniert er einwandfrei.