[SeaBIOS] [RFC PATCH v4 24/30] acpi_piix4: add hot-remove capability