Perché sto forum è una fetenchia.. Si preoccupano solo di avere la pubblicità che buchi gli Ad Blocker, ma mai di sistemarlo nonostante mille richieste (ehhh Astrone.. Tu sai bene di che parlo!! Ma tanto io lo configuro di volta in volta!! ).
In ogni caso quel kernel non so da dove salti fuori. Di certo non è quello stock. Ma è per il GT-S5570I (si vede dal tassve, il nome in codice della scheda madre). Sarà roba degli indonesiani.