Muchas gracias por los aportes. Pinta bien.
Dos cosas:
Pones que es para el JA3GXX pero en mi tlf. no encuentro estas siglas.. solo i9500. ¿no hay problema, no?.
La otra es que he encontrado esto:
https://download.lineageos.org
Ahí están las versiones actualizadas (parece que se actualizan semanalmente) nightly para el S4 (Intl) (jfltexx), el S4 (VZW) (jfltevzw) y el S4 LTE-A (ks01lte) que no tengo ni idea de que diferencias hay pero que lo dejo por si sirve a alguno.