Xiaomi pasa olímpicamente de configurar los colores del led. La prueba es Android 9 por la razón que he descrito unos post más arriba. En el MI5 anterior (cómo hecho de menos los led y el puerto infrarrojo) tenía LineageOS y era totalmente configurable y funcionaba de lujo.
Por el resto, estoy muy contento con el móvil, es un cacharrazo que funciona rápido rápido.