Re: [SeaBIOS] [PATCH 16/20] acpi: move cpu hotplug to separate file [q35]