Sicher, dass sie nicht vorhanden ist? Wenn FileVault aktiviert ist erscheint sie zum Beispiel nicht in der Starten-mit-Options-Taste-Auswahl. Was sagt denn diskutil list im Terminal?