Index: /trunk/src/VBox/Devices/PC/BIOS/pciutil.c
===================================================================
--- /trunk/src/VBox/Devices/PC/BIOS/pciutil.c	(revision 81127)
+++ /trunk/src/VBox/Devices/PC/BIOS/pciutil.c	(revision 81128)
@@ -195,5 +195,4 @@
 }
 
-#if 0 /* Disabled to save space because they are not needed. Might become useful in the future. */
 void pci_write_config_byte(uint8_t bus, uint8_t dev_fn, uint8_t reg, uint8_t val)
 {
@@ -203,5 +202,10 @@
 void pci_write_config_dword(uint8_t bus, uint8_t dev_fn, uint8_t reg, uint32_t val)
 {
+#if VBOX_BIOS_CPU >= 80386
     pci_write_cfgd((PCIBIOS_ID << 8) | PCIBIOS_WRITE_CONFIG_DWORD, (bus << 8) | dev_fn, reg, val);
-}
-#endif /* 0 */
+#else
+    pci_write_cfgw((PCIBIOS_ID << 8) | PCIBIOS_WRITE_CONFIG_WORD, (bus << 8) | dev_fn, reg, val & 0xffff);
+    pci_write_cfgw((PCIBIOS_ID << 8) | PCIBIOS_WRITE_CONFIG_WORD, (bus << 8) | dev_fn, reg + 2, val >> 16);
+#endif
+}
+