Tengo un problema desconcertante con la partición EFI en mi SSD de arranque. El tipo de partición GPT es "Microsoft Basic Data". En todas las demás unidades de mi sistema, incluido el clon de Carbon Copy Cloner de mi unidad de arranque, el tipo de partición es "EFI" (véase más abajo):
$ diskutil list
/dev/disk0
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *512.1 GB disk0
1: Microsoft Basic Data EFI 209.7 MB disk0s1
2: Apple_HFS Tims Boot SSD 498.7 GB disk0s2
/dev/disk1
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *960.2 GB disk1
1: EFI EFI 209.7 MB disk1s1
2: Apple_HFS Users 959.9 GB disk1s2
...
/dev/disk4
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *512.1 GB disk4
1: EFI EFI 209.7 MB disk4s1
2: Apple_HFS Tims Boot SSD Clone 511.8 GB disk4s2
Mi sistema arranca bien, pero parece que está cargando el gestor de arranque (Clover en este caso) desde la unidad /Users (disco1) en lugar de desde el SSD de arranque (disco0), y creo que el tipo de partición GPT incorrecto es el culpable.
Intenté actualizar el tipo de partición utilizando el comando "asr adjust" como se indica en https://unix.stackexchange.com/questions/58705/mac-os-x-partition-type-problem pero no funciona y me da un mensaje de error muy poco útil:
$ sudo asr adjust --target /dev/disk0s1 --settype EFI
asr: Volume adjustment failed: Unknown error: -123
He encontrado información sobre otras formas posibles de establecer el tipo de partición GPT a través de búsquedas en Google, pero todos los demás métodos parecen arriesgados, con advertencias sobre el borrado de la partición en cuestión, etc.
¿Alguien sabe cómo puedo arreglar esto?