Salve a tutti, come faccio a sapere che processore ha il mio portatile, per poi selezionarlo per ricompilare il kernel? Mi ricordo c'era un comando