Пентиум Про это грубо 1996 год, версия ядра Линукса 2.0.1. Специально зашёл на kernel.org, скачал эту версию и подсчитал количество исходников *.c и *.h: получилось 676 килострок. В версии, которую я собирал на pic32 - 18424 килострок, то есть в 27 раз больше. Выходит, ядро того времени собиралось бы за 624 / 27 = 23 минуты. Вполне соответствует.