Re: [SeaBIOS] [PATCH] KVM vcpu hotplug seabios infrastructure