Io con cyanogenmod 10 ho avuto qualche problemino, nel menù impostazioni --> display non avevo alcuna voce e quando ho provato a riavviare il dispositivo ci ha messo una vita a ripartire, forse sono stato un pò affrettato ma l'ho disinstallato subito!