[SeaBIOS] [RFC PATCH v4 11/30] acpi_piix4 : Implement memory device hotplug registers