No se actualiza? a estado parado un tiempo pero hace unos dias han vuelto a actualizarlo con varias versiones seguidas por que dio problemas algunas cosillas.
O me he perdido algo o sigue activo ese kernel aunque no con tanta intensidad, creo que el desarrollador ahora tiene tambien el SGS3 y actualiza para ambos por eso tarda mas, por currarse 2 kernel a la vez para 2 terminales distintos (por lo menos eso tengo entendido que este kernel no lo suelo usar y tal vez no este bien informado).