Possivelmente pelo mesmo motivo pelo qual um registro de data e hora ainda é de 32 bits: porque há muita coisa em torno disso depende de os IDs de processo serem limitados a 16 bits.
Hmm, não havia uma opção de kernel do Linux que permitisse usar PIDs maiores…?