Eu olhei em primeira mão para esse problema e os seguintes comandos desbloquearam e formataram o disco, embora o Utilitário de Disco não tenha conseguido.
$ diskutil list
Deve mostrar algo como isto:
/dev/disk0
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *121.3 GB disk0
1: EFI 209.7 MB disk0s1
2: Apple_HFS Macintosh HD 120.5 GB disk0s2
3: Apple_Boot Recovery HD 650.0 MB disk0s3
/dev/disk1
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *64.0 GB disk1
1: EFI 209.7 MB disk1s1
2: Apple_CoreStorage 63.2 GB disk1s2
3: Apple_Boot Recovery HD 650.0 MB disk1s3
Formate o disco em questão. Nesse caso, disco1.
$ diskutil eraseDisk JHFS+ name disk1
Você deve ver isso:
Started erase on disk1
Unmounting disk
Creating the partition map
Waiting for the disks to reappear
Formatting disk1s2 as Mac OS Extended (Journaled) with name name
Initialized /dev/rdisk1s2 as a 59 GB HFS Plus volume with a 8192k journal
Mounting disk
Finished erase on disk1
As seguintes páginas da web me ajudaram a descobrir isso e podem ser úteis para outra pessoa.
https://discussions.apple.com/thread/4091299?start=0&tstart=0
http://derflounder.wordpress.com/2011/11/23/using-the-command-line-to-unlock-or-decrypt-your-filevault-2-encrypted-boot-drive/