Re: [SeaBIOS] [RFC PATCH v2 03/21] acpi-dsdt: Implement functions for memory hotplug