[Hafnium] Hafnium - number of PEs vs number of VCPU