vai in /usr/src/linux e dai il comando

prova a compilare il kernel normalmente

di magari che errori da

se mi incolli un scanpci ti posso passare una conf funzionante

dimmi amche il processore