[SeaBIOS] seabios 1.7.3.1 released

[Gerd Hoffmann]

Hi,

The seabios 1.7.3.1 bugfix release is out of the door.
Here is the shortlog:

Kevin O'Connor (2):
      Fix USB EHCI detection that was broken in hlist conversion of
PCIDevices.
      Fix bug in CBFS file walking with compressed files.

Michael S. Tsirkin (1):
      acpi: sync FADT flags from PIIX4 to Q35

cheers,
  Gerd