Re: [SeaBIOS] [PATCH] Fix bug for vcpu hotplug