Index: /trunk/src/VBox/Devices/PC/DevPcBios.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevPcBios.cpp	(revision 33916)
+++ /trunk/src/VBox/Devices/PC/DevPcBios.cpp	(revision 33917)
@@ -1141,6 +1141,5 @@
                 return PDMDEV_SET_ERROR(pDevIns, rc,
                                         N_("Configuration error: Querying \"Netboot/x/PCIFunctionNo\" as integer failed"));
-            /** @todo: encode bus number too */
-            u16BusDevFn = ((u8PciDev & 0x1F) << 3) | (u8PciFn & 0x7);
+            u16BusDevFn = (((uint16_t)u8PciBus) << 8) | ((u8PciDev & 0x1F) << 3) | (u8PciFn & 0x7);
             pThis->au16NetBootDev[i] = u16BusDevFn;
         }