diff --git a/src/mainboard/rca/rm4100/Options.lb b/src/mainboard/rca/rm4100/Options.lb
index 0272905da2..2bdf771499 100644
--- a/src/mainboard/rca/rm4100/Options.lb
+++ b/src/mainboard/rca/rm4100/Options.lb
@@ -24,6 +24,7 @@ uses CONFIG_CONSOLE_SERIAL8250
 uses CONFIG_CONSOLE_VGA
 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
 uses CONFIG_IOAPIC
+uses CONFIG_PCI_OPTION_ROM_RUN_VM86
 uses CONFIG_PCI_ROM_RUN
 uses CONFIG_ROM_PAYLOAD
 uses CONFIG_ROM_PAYLOAD_START
@@ -78,6 +79,7 @@ default CONFIG_IOAPIC = 0
 default HAVE_OPTION_TABLE = 0
 default CONFIG_CONSOLE_VGA = 0
 default CONFIG_PCI_ROM_RUN = 0
+default CONFIG_PCI_OPTION_ROM_RUN_VM86 = 0
 default CONFIG_VIDEO_MB = 0
 default STACK_SIZE = 0x2000
 default HEAP_SIZE = 0x4000
diff --git a/src/mainboard/thomson/ip1000/Options.lb b/src/mainboard/thomson/ip1000/Options.lb
index 8b47189cce..08cb033ab9 100644
--- a/src/mainboard/thomson/ip1000/Options.lb
+++ b/src/mainboard/thomson/ip1000/Options.lb
@@ -24,6 +24,7 @@ uses CONFIG_CONSOLE_SERIAL8250
 uses CONFIG_CONSOLE_VGA
 uses CONFIG_COMPRESSED_PAYLOAD_LZMA
 uses CONFIG_IOAPIC
+uses CONFIG_PCI_OPTION_ROM_RUN_VM86
 uses CONFIG_PCI_ROM_RUN
 uses CONFIG_ROM_PAYLOAD
 uses CONFIG_ROM_PAYLOAD_START
@@ -78,6 +79,7 @@ default CONFIG_IOAPIC = 0
 default HAVE_OPTION_TABLE = 0
 default CONFIG_CONSOLE_VGA = 0
 default CONFIG_PCI_ROM_RUN = 0
+default CONFIG_PCI_OPTION_ROM_RUN_VM86 = 0
 default CONFIG_VIDEO_MB = 0
 default STACK_SIZE = 0x2000
 default HEAP_SIZE = 0x4000
diff --git a/targets/rca/rm4100/Config.lb b/targets/rca/rm4100/Config.lb
index e5978716e3..35ff7558e3 100644
--- a/targets/rca/rm4100/Config.lb
+++ b/targets/rca/rm4100/Config.lb
@@ -37,6 +37,7 @@ option ROM_SIZE = (1024 * 1024) - (64 * 1024)
 ##
 option CONFIG_CONSOLE_VGA = 1
 option CONFIG_PCI_ROM_RUN = 1
+option CONFIG_PCI_OPTION_ROM_RUN_VM86 = 1
 
 ##
 ## Choose the amount of memory pre-allocated for VGA
diff --git a/targets/thomson/ip1000/Config.lb b/targets/thomson/ip1000/Config.lb
index 0ee8b7a1e7..aa507394d5 100644
--- a/targets/thomson/ip1000/Config.lb
+++ b/targets/thomson/ip1000/Config.lb
@@ -37,6 +37,7 @@ option ROM_SIZE = (1024 * 1024) - (64 * 1024)
 ##
 option CONFIG_CONSOLE_VGA = 1
 option CONFIG_PCI_ROM_RUN = 1
+option CONFIG_PCI_OPTION_ROM_RUN_VM86 = 1
 
 ##
 ## Choose the amount of memory pre-allocated for VGA