No, that was for a reason. I was worried about smp_processor_id() not
returning valid values between init_gdt and cpu_set_gdt. It's not
actually a problem, but relying on smp_processor_id() while we're moving
the foundations its based on seems fragile.
J
-