[SeaBIOS] [PATCH] Search PCIv3 device list in optionroms if present

[Kevin O'Connor]

On Thu, Aug 16, 2012 at 09:07:39PM -0700, Daniel Verkamp wrote:
> PCI Firmware Specification v3.0 defined a new optional device list,
> allowing a single optionrom to handle several device IDs.  Add support
> for this list when looking for an optionrom for a PCI device.

Thanks.  Sorry for the delay.  At a quick glance, the patch looks okay
to me.  I'll try to take a closer look in the next few days.

-Kevin