Gracias por compartir el kernel. ¿Es el kernel extraido de la rom 1238 y no hay un sitio donde ver el historial específico para el kernel, sólo los cambios/mejoras de la rom al completo?
Voy a probarlo en la linuxrom que también me aparece la versión de mayo.