[SeaBIOS] [RFC PATCH v3 03/19] acpi-dsdt: Implement functions for memory hotplug