[SeaBIOS] [RFC PATCH v2 18/21] acpi_piix4: Update dimm bitmap state on hot-remove fail