Para el ordenador los HT es como si fueran dos procesadores aunque en realidad solo sea uno. Lo que no se es que kernel le viene mejor. Google te podra ayudar en esto...
De todas formas ahora ha cambiado la forma de llamar a las imagenes del kernel y se llaman linux-image. prueba alguna de esas a ver si tienes mas suerte. Un Saludo -- *************************************************** Roberto Muñoz Gómez NIA: 100039318 Ingeniería Informática Universidad Carlos III de Madrid (España) *************************************************** Linux User Number 398793