Die SD-Karte, die ich in Post #9 genannt habe, hat funktioniert!
Allerdings habe ich seitdem das Problem, dass seitdem 2 Mal der Bordcomputer nicht mehr vernünftig startet. Er geht an und nach 30 s geht er wieder aus, das wiederholt sich so lange bis er in den gesicherten Modus wechselt. Am nächsten Tag hat sich das Problem dann aber wieder von alleine behoben.