SeaBIOS: Fix a bug in PCI ID mapping
This apparently did not hit us before because the option rom
was packed into CBFS with the correct file name but with the
wrong ID.
BUG=chrome-os-partner:3947
TEST=boot coreboot/seabios on alex (needs another change in coreboot)
Change-Id: Ic6573fa07d13c617990e4a2a64bb28e6b45b01db
diff --git a/src/optionroms.c b/src/optionroms.c
index 0b21300..c1a3098 100644
--- a/src/optionroms.c
+++ b/src/optionroms.c
@@ -242,8 +242,8 @@
u32 new_vendev=vendev;
switch(vendev) {
- case 0x80118086:
- new_vendev=0x80018086;
+ case 0xa0118086:
+ new_vendev=0xa0018086;
break;
}