Olá Amigo boa tarde, passei por um problema parecido uma vez... O que aconteceu comigo foi o seguinte eu estava tentando recompilar uma versao de um kernel "IA64", enquanto estava usando um "AMD64", isso foi um total descuido meu, pode ser que seja esse o seu problema, verifique se não pode ser isso. Att, Rodrigo