/* Some vga option roms are used for several chipsets but they only have one PCI ID in their header. If we encounter such an option rom, we need to do the mapping ourselves.  */
uint32_t board_map_oprom_vendev(uint32_t vendev)
/* Some vga option roms are used for several chipsets but they only have one PCI ID in their header. If we encounter such an option rom, we need to do the mapping ourselves.  */
uint32_t board_map_oprom_vendev(uint32_t vendev)
{
	switch (vendev) {
	case 0x80860102:
	case 0x8086010a:
	case 0x80860112:
	case 0x80860116:
	case 0x80860122:
	case 0x80860126:
	case 0x80860156:
	case 0x80860166:
		return 0x80860106;
	}
	return vendev;
}