No y Si, no esta propiamente optimizado para 4 núcleos pero al ser un SO diseñado para maquinas multiprocesador si que se pueda considerar que esta optimizado. Que yo recuerde el kernel Linux soporta sin problemas asta 32 procesadores/núcleos de forma estándar desde hace tiempo y puede haber aumentado, para mas procesadores/núcleos se ha de recurrir a compilaciones especificas siendo el máximo numero de procesadores/núcleos de mas de 1024 para un sistema de imagen de núcleo única.
