Ja, das hatte ich gesehen. Oft funktionieren die Tastaturtreiber nicht. Habs soeben gelöst.

Ich hätte einfach Clover neu installieren müssen .Da gibt es einen Punkt, bei welchem alle notwendigen Treiber für FileVault 2 geladen werden. Ich habe mich letztlich daran orientiert, die Treiber aber manuell hinzugefügt.