Fix Vcpu type on SetVcpuFlags