Perdona mi ignorancia,como puedo abrir el kernel? Yo tengo windows, asi que si es por medio de linux ya valio. Tambien no recuerdo donde esta el archivo kernel bl7, creo que esta en uno de tus post, pero no se como abrirlo para ver que archivos son.
pd: ya encontre el kernel en un post tuyo, ahora a investigar como abrirlo