Re: [SeaBIOS] [RFC PATCH v4 00/30] ACPI memory hotplug