¿Cómo se actualizaba el kernel?