In dem Falle solltet ihr den EFI-Ordner der aktuellen EFI-Partition woanders hin kopieren und im Nachgang die EFI-Partition einmal neu formatieren:
Dazu müsst ihr natürlich per diskutil list die diskXsX Bezeichnung herausfinden:
In diesem Beispiel wäre das disk2s1.
Ist die Formatierung erledigt, kopiert ihr den EFI-Ordner wieder zurück und gut ist...