gracias por tu ayuda,de casualida vos no tenes esa version de kernel para que me la pases o no sabes donde puedo descargarla,la he buscado por todas partes y no la encuentro