Si, gracias por las respuestas. La verdad es que con la rom 25 miui.es parece que quede más ram que antes, de todos modos lo dicho, como no afecta negativamente y además parece ser el funcionamiento normal de Android (cosa que desconocía) no le doy más vueltas.