Re: [SeaBIOS] [Qemu-devel] [PATCH v5 0/7] support for ACPI memory hotplug