He probado alguna GSI más, ya sabéis que la mayoría tienen el problema de la cámara, tengo que probar la AOSP a ver si lo han arreglado o no.
La que más me ha gustado es la Hydrogen del OnePlus 7 Pro, pero no es usable en nuestro dispositivo.
También probé la Paranoid Android que no es GSI, todo funciona como debe, pero chupa bastante batería y aún tiene pocas opciones. Lo que más me molestó es que no tiene opción de modificar el color de la pantalla y ese tono amarillento que tiene por defecto me mata.
Así que nada, de vuelta a Havoc, la personalización y batería son espectaculares. Se actualizará pronto, a ver si corrigen algo en nuestro dispositivo.
Para mi gusto ahora mismo la mejor ROM no MIUI que hay.
----------
----------
Edito: AOSP probada, no han corregido nada, así que nos quedamos como estamos. A ver si van saliendo ROMs especificas porque si no...
----------
----------
Actualizado el primer mensaje con instrucciones más claras, fáciles y que no debería dar problemas que no arranca, etc.