[SeaBIOS] [PATCH v5 0/7] support for ACPI memory hotplug