Después de un día con la última versión de la ROM y salvado el problema de las GAPPs, casi podría afirmar que como mínimo va igual de fluido que antes.
Pero me acabo de dar cuenta de una cosa que seguramente sea una chorrada: ni el explorador de archivos que viene por defecto, ni el reproductor de música de google play music, ni desde la opción de ajustes en el menú me dejan cambiar el tono del móvil excepto entre los que vienen predeterminados a no ser que me baje otro reproductor donde traiga la opción de "establecer como tono de llamada", incluso he cambiado los sonidos que suelo usar a la carpeta de notificaciones del sistema, y me aparecen en la opción de "notificaciones" pero no en la de "tono de llamada".
Ya digo, es una chorrada que solucionas bajándote otro programa o reproductor pero no deja de ser curioso