Hola, gracias por responder.
Pero ya te digo que he probado todos esos cambios, y con la ROM Developer de xiaomi.eu no llegan las notificaciones push de gmail.
Ahora estoy probando con la Estable 9.2.1, y parece que si están llegando, y no he tenido que tocar apenas nada para que funcionen.
Saludos