Certo, qualsiasi kernel con supporto SMP funziona correttamente su macchine multiprocessore...