diff --git a/Makefile.defs b/Makefile.defs
index 164971c..173a96b 100644
--- a/Makefile.defs
+++ b/Makefile.defs
@@ -37,7 +37,7 @@ kernelnvidia_71xx = kernel-$(KERNEL_EXTRAVER)-nongpl-nvidia_71xx
 kernelnvidia_96xx = kernel-$(KERNEL_EXTRAVER)-nongpl-nvidia_96xx
 kernelndiswrapper = kernel-$(KERNEL_EXTRAVER)-ndiswrapper
 kernellirc = kernel-$(KERNEL_EXTRAVER)-lirc
-kernelvboxvideo = kernel-$(KERNEL_EXTRAVER)-vboxvideo
+#kernelvboxvideo = kernel-$(KERNEL_EXTRAVER)-vboxvideo
 
 ifdef KERNEL_MORE_EXTRAVER
 # extra kernel (FIXME: only supports single extra kernel)
@@ -61,7 +61,7 @@ kernelnvidia_71xx += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_71xx
 kernelnvidia_96xx += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_96xx
 kernelndiswrapper += kernel-$(KERNEL_MORE_EXTRAVER)-ndiswrapper
 kernellirc += kernel-$(KERNEL_MORE_EXTRAVER)-lirc
-kernelvboxvideo += kernel-$(KERNEL_MORE_EXTRAVER)-vboxvideo
+#kernelvboxvideo += kernel-$(KERNEL_MORE_EXTRAVER)-vboxvideo
 endif
 endif
 
diff --git a/settings.inc b/settings.inc
index 544bbcc..b56df76 100644
--- a/settings.inc
+++ b/settings.inc
@@ -1,6 +1,6 @@
 RELEASE=devel
 MAKEFILE_TARGET=${MAKEDIST_TARGET}
-KERNEL_ADDITIONAL="sound vboxvideo"
+KERNEL_ADDITIONAL="sound"
 
 #COMPRESSEDFSSIZE=400000
 #COMPRESSEDFSBLOCKSIZE=1k