Re: [SeaBIOS] [PATCH RFC] acpi: add ssdt for cpi hotplug