diff --git a/src/arch/x86/Makefile.inc b/src/arch/x86/Makefile.inc
index 873161237e..b28ef78adc 100644
--- a/src/arch/x86/Makefile.inc
+++ b/src/arch/x86/Makefile.inc
@@ -34,6 +34,11 @@ cbfs-files-$(CONFIG_VGA_BIOS) += pci$(stripped_vgabios_id).rom
 pci$(stripped_vgabios_id).rom-file := $(call strip_quotes,$(CONFIG_VGA_BIOS_FILE))
 pci$(stripped_vgabios_id).rom-type := optionrom
 
+stripped_second_vbios_id = $(call strip_quotes,$(CONFIG_VGA_BIOS_SECOND_ID))
+cbfs-files-$(CONFIG_VGA_BIOS_SECOND) += pci$(stripped_second_vbios_id).rom
+pci$(stripped_second_vbios_id).rom-file := $(call strip_quotes,$(CONFIG_VGA_BIOS_SECOND_FILE))
+pci$(stripped_second_vbios_id).rom-type := optionrom
+
 stripped_vgabios_dgpu_id = $(call strip_quotes,$(CONFIG_VGA_BIOS_DGPU_ID))
 cbfs-files-$(CONFIG_VGA_BIOS_DGPU) += pci$(stripped_vgabios_dgpu_id).rom
 pci$(stripped_vgabios_dgpu_id).rom-file := $(call strip_quotes,$(CONFIG_VGA_BIOS_DGPU_FILE))
diff --git a/src/device/Kconfig b/src/device/Kconfig
index 25123ea3e0..66130ccd41 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -680,6 +680,35 @@ config VGA_BIOS_ID
 
 	  Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
 
+config VGA_BIOS_SECOND
+	bool "Add a 2nd video BIOS image"
+	depends on ARCH_X86 && VGA_BIOS
+	help
+	  Select this option if you have a 2nd video BIOS image that you would
+	  like to add to your ROM.
+
+config VGA_BIOS_SECOND_FILE
+	string "2nd video BIOS path and filename"
+	depends on VGA_BIOS_SECOND
+	default "vbios2.bin"
+	help
+	  The path and filename of the file to use as video BIOS.
+
+config VGA_BIOS_SECOND_ID
+	string "Graphics device PCI IDs"
+	depends on VGA_BIOS_SECOND
+	help
+	  The comma-separated PCI vendor and device ID that would associate
+	  your vBIOS to your video card.
+
+	  Example: 1106,3230
+
+	  In the above example 1106 is the PCI vendor ID (in hex, but without
+	  the "0x" prefix) and 3230 specifies the PCI device ID of the
+	  video card (also in hex, without "0x" prefix).
+
+	  Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
+
 config VGA_BIOS_DGPU
 	bool "Add a discrete VGA BIOS image"
 	depends on VGA_BIOS