mmmm
segun las imagenes que hay colgadas por ahi la OTA trae un kernel nuevo
yo flasee la 4.1.1 de bigxie que hay en xda y viene con el mismo kernel que la 4.1 pelada
a ver si lo podemos catar pronto porque para mi el kernel que mejor va en JB es el stock de momento