[SeaBIOS] [RFC PATCH v2] fw/pci: Add support for mapping Intel IGD OpRegion via QEMU

[Gerd Hoffmann]

  Hi,

> the same or just use it on the first one we encounter.  We're probably
> putting way too much thought into this scenario that Intel likely has no
> expectation of supporting though ;)  Thanks,

Yea, lets stick with the plain simple "igd-opregion".  Even if intel
allows multiple igd devices per host some day things continue to work as
long as you assign only one of them to a guest.

cheers,
  Gerd