Estoy intentando localizar el kernel que comentas pero lo unico que veo es ics, yo tengo la 3.2 stock, puedo instalarlo? Y de ser asi de donde lo descargo?.
Llevo unos dias con esta tablet y la verdad es despues de tener una motorola xoom me estoy dando cunta los enormes lag que posee en los desplazamientos y demas, imagino que sera debido a la capa de personaliacion de samsung pero...... Se hace pesado, espero que con el kernek que comemtas la cosa cambie.