[SeaBIOS] [PATCH v5 5/7] acpi: generate hotplug memory devices