Re: [SeaBIOS] [Qemu-devel] [RFC PATCH v2 00/21] ACPI memory hotplug