sul portatile ho un celeron 1200, sul pc un athlon 2400, ma vedo che su entrabi si è installato il kernel per 386. devo sostituirlo, visto che nei repository ce ne sono di specifici? se sì posso farlo tramite synaptic?