CPU hot unplug will do the same. But it is unlikely it accounts
for that much performance difference.
If he used maxcpus=0 it would make sense. maxcpus=0 disables
the IO-APIC which likely makes a large difference. But it should
be actually slower.
There should be actually no difference in theory between max_cpus=1
and hot unplug to one CPU. Might be some bug.
-Andi
--