[SeaBIOS] [RFC PATCH v2 04/21] acpi: generate hotplug memory devices