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