[SeaBIOS] [RFC PATCH v2 16/21] acpi_piix4: Update dimm state on VM reboot