Tío yo he metido la pata como 3 o 4 veces equivocándome de kernel y lo único que me ha pasado es que no arranca (se queda pillado en pantalla de inicio).
Luego con iniciarlo en modo download y flasheando por Odin otro kernel, debería rular.
Suerte tio.
