fixup "vmm: parameterize Vcpu_dispatcher"
nova: avoid fault during core thread fault dump