Veo una forma muy bien documentada, si un usuario es no habilitado para descifrar el volumen de arranque, para habilitar a ese usuario: sólo tienes que ir al panel de control de FileVault, y si hay usuarios a los que no se les permite arrancar el sistema, habrá un mensaje indicándolo, y un botón que mostrará un diálogo para habilitarlos.
Tengo el problema inverso: tengo un usuario habilitado para FileVault, que debería NO ser.
¿Hay alguna forma de hacerlo?