vmm vmx: Allocate vpids on demand as each vCPU is initialized.

[jhb]

Summary

Compared to the previous version this does mean that if the system as
a whole runs out of dedicated vPIDs you might end up with some vCPUs
within a single VM using dedicated vPIDs and others using shared
vPIDs, but this should not break anything.