File vbox-disable_vboxpci_build.diff of Package virtualbox

Index: src/VBox/HostDrivers/VBoxPci/Makefile.kmk
===================================================================
--- src/VBox/HostDrivers/VBoxPci/Makefile.kmk.orig
+++ src/VBox/HostDrivers/VBoxPci/Makefile.kmk
@@ -17,7 +17,9 @@
 
 SUB_DEPTH = ../../../..
 include $(KBUILD_PATH)/subheader.kmk
+
 if1of ($(KBUILD_TARGET), linux)
+ifdef VBOX_WITH_VBOXDRV
 
  #
  # The driver.
@@ -41,7 +43,7 @@ if1of ($(KBUILD_TARGET), linux)
  VBoxPci_LIBS          += \
  	$(PATH_STAGE_LIB)/SUPR0IdcClient$(VBOX_SUFF_LIB)
 
-
+endif
  #
  # Install the sources.
  #