Re: [SeaBIOS] [RFC PATCH v3 00/19] ACPI memory hotplug