This resolves a merge issue and gets the vmbox drm driver into this
branch to be able to start taking fixes for it...
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
  
  source "drivers/staging/typec/Kconfig"
  
+ source "drivers/staging/vboxvideo/Kconfig"
+ 
 +source "drivers/staging/pi433/Kconfig"
 +
  endif # STAGING
 
  obj-$(CONFIG_GREYBUS)         += greybus/
  obj-$(CONFIG_BCM2835_VCHIQ)   += vc04_services/
  obj-$(CONFIG_CRYPTO_DEV_CCREE)        += ccree/
+ obj-$(CONFIG_DRM_VBOXVIDEO)   += vboxvideo/
 +obj-$(CONFIG_PI433)           += pi433/