Quizá sea algo relacionado con el kernel stock, porque lo he bajado de alguien que decía que era para la aosp 4.3 JSS15J, y se ha instalado, pero al pedirme el reinicio ponía algo de 4.2.2.
Aún así iba, pero sin root.
Por lo demás, trastear lo justo y a disfrutar a tope de las Bilboko Jaiak!