Add option rom PCI ID mapping to SeaBIOS

Some PCI option roms don't contain the correct PCI ID for the device used in a
given system. In order to use those PCI option roms without manipulating them,
do an internal mapping of known good ID combinations.

BUG=chrome-os-partner:3947
TEST=boot coreboot with SeaBIOS CSM on Alex (requires more CLs)

Change-Id: I5908aa66e0cba5d76d8255b2bb70c34348738e7b
1 file changed
tree: 845cd96b85cb3248541a52d42c44142b9f796e10
  1. src/
  2. tools/
  3. vgasrc/
  4. .gitignore
  5. COPYING
  6. COPYING.LESSER
  7. Makefile
  8. README
  9. TODO