Já si myslím že debian 4 4jádra umí když vyšel v roce 2007 ale prd tomu rozumím. Zeptej se spíš na http://www.debian.org/