Antes si me dedicaba a toquetear mas el movil y meterle y hacerle de todo pero ya le hago lo justo.
El kernel de franco aun esta en desarrollo. Xiaomi no hace mucho que libero el codigo fuente para poder trabajar el kernel. Aun asi se habla bien de el. Puedes preguntar opiniones en su hilo correspondiente. Por llevar un orden mas que nada
Magisk por lo poco que lo he usado en un mi4 solo fue instalar y listo. Elegir el modulo que quieras y el programa te lo instala. Supongo que para el mi a1 no sera muy diferente. No lo tengo instalado aun...
A ver si alguien que use el kernel franco y magisk te arroja algo mas de luz