Pues le he pasado el Quadrant y me da 880, justo la media de los Galaxy, por lo que parece que no lo tiene instalado, aunque yo juraría que lo instalé.
También he entrado al modo recovery desde rom manager, y aunque me sale alguna opción más, no veo nada relacionado con un lagfix.
Saludos