Ciao ! Il Kernel Debian AMD64 supporta nativamente sistemi multiprocessore. Riguardo il problema sulla prima macchina, controlla le impostazioni nel BIOS. Quel processore utilizza Hyper-Threading abilitato su ogni core ? E da BIOS è attivo ? Correttamente il kernel 2.6.32 AMD64 su uno Xeon a 4 core con Hyper-Threading attivo visualizza dalla CPU0 alla CPU7. Ciao Luca