Re: [SeaBIOS] [RFC PATCH 0/9] ACPI memory hotplug