Yo le daria una oportunidad a la XenonHD pie. Es la que llevo desde tiempos inmemoriales en mi Redmi 3 Pro y va de lujo. Y la duración de batería muy buena. La podeis encontrar junto a otro montón de firmwares en la web de 4pda.ru
Allí siguen sacando roms para nuestro vetusto cacharro. Incluso ya hay build de lineage 17 con android 10 para el. Eso si, no oficial y no la he probado, puesto que pille un mi 9 se y es con el que trasteo. El redmi 3 lo tengo de reserva y salvo que el lineage 17 salga sin errores se quedara con la XenonHD. Saludos.