Re: [SeaBIOS] [PATCH] q35: fix GPE method for cpu hotplug