Maybe you miss some patch for hotplug_vcpu()? Can not find it in my tree.