La notazione smp è sparita da parecchio, tutti i kernel linux x86 e x86-64 in debian (linux-image-2.6...) supportano i multiprocessori.