Re: [SeaBIOS] [PATCH] vcpu hotplug: Setup vcpu add/remove infrastructure