Re: [SeaBIOS] [Qemu-devel] [PATCH v5 5/7] acpi: generate hotplug memory devices