Es sind nicht die zusätzliche Treiber, die den Kernel fett machen, sondern so etwas wie die Tracers, zu allgemeingültige Libs und Funktionen, die der Kernel für andere Module bereitstellt. Außerdem kann der Prozess Scheduler mit Systemen mit 1001 Prozessoren umgehen, was unter Umständen Nachteile beim ein Prozessor System hat. Ein zusätzlicher Treiber, der nicht geladen wird, benötigt lediglich mehr Zeit zum Kompilieren. Das ist jedoch nicht das fett, das Intel und Linux meinten.