Al final lo he restaurado activando el cifrado de archivo. Ahora el teléfono arranca en nada, sin tener que meter el patrón entre medias, como ocurría antes.
Lo único "malo" es que he perdido el modo nocturno :'(
EDITO: Ya he podido recuperar el modo nocturno: se instala esta app
https://play.google.com/store/apps/d...ghtmodeenabler , y al darle al botón que tiene ya se activa el ajuste rápido y podemos desinstalarla
