device/Kconfig: explain which PCI ID needs to be used for VGA_BIOS_ID
Add a paragraph to the help text for VGA_BIOS_ID to explain which PCI ID
needs to be used.
Signed-off-by: Felix Held <felix-coreboot@felixheld.de>
Change-Id: I1a0f25481e275b7d190f29f5670cc98443dbe719
Reviewed-on: https://review.coreboot.org/c/coreboot/+/73613
Reviewed-by: Martin Roth <martin.roth@amd.corp-partner.google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Fred Reitberger <reitbergerfred@gmail.com>
diff --git a/src/device/Kconfig b/src/device/Kconfig
index d79634f..30fcd38 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -867,6 +867,10 @@
the "0x" prefix) and 3230 specifies the PCI device ID of the
video card (also in hex, without "0x" prefix). a3 specifies the revision.
+ This ID needs to match the PCI VID and DID in the VGA BIOS file's
+ header and also needs to match the value returned by map_oprom_vendev
+ or map_oprom_vendev_rev if the remapping feature is used.
+
Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
config VGA_BIOS_SECOND