Dicho esto, cuando instalé la penútima versión estable de cyanogen me dejó de funcionar el push de gmail, pero lo solucioné borrando la caché del correo. Desde entonces ningún problema.
La secuencia de menús y opciones es la siguiente:
Botón Menú->Ajustes->Aplicaciones->Administrar aplicaciones->Gmail->Borrar caché
Espero que os sirva.

