Index: /trunk/src/VBox/Devices/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/Makefile.kmk	(revision 49576)
+++ /trunk/src/VBox/Devices/Makefile.kmk	(revision 49577)
@@ -894,5 +894,8 @@
  	$(PATH_STAGE_LIB)/PcBiosBin$(VBOX_SUFF_LIB) \
  	$(PATH_STAGE_LIB)/VgaBiosBin$(VBOX_SUFF_LIB) \
- 	$(if $(VBOX_WITH_PXE_ROM),$(PATH_STAGE_LIB)/iPxeBiosBin$(VBOX_SUFF_LIB),) \
+ 	$(if $(VBOX_WITH_PXE_ROM),\
+	  $(if $(VBOX_WITH_INTEL_PXE),\
+	    $(PATH_STAGE_LIB)/NetBiosBin$(VBOX_SUFF_LIB),\
+	    $(PATH_STAGE_LIB)/iPxeBiosBin$(VBOX_SUFF_LIB)),) \
  	$(LIB_VMM) \
  	$(LIB_RUNTIME)