VirtualBox-kerndir.patch

   1 --- VirtualBox-5.2.2/src/VBox/Installer/linux/Makefile.include.header.orig      2017-11-25 14:42:43.336204931 +0100
   2 +++ VirtualBox-5.2.2/src/VBox/Installer/linux/Makefile.include.header   2017-11-25 14:43:00.666146939 +0100
   3 @@ -136,7 +136,7 @@
   4  endif # neq($(KERNELRELEASE),)
   5
   6  # Kernel build folder
   7 -KERN_DIR := /lib/modules/$(KERN_VER)/build
   8 +KERN_DIR ?= /lib/modules/$(KERN_VER)/build
   9  ifneq ($(shell if test -d $(KERN_DIR); then echo yes; fi),yes)
  10   $(error Error: unable to find the headers of the Linux kernel to build against. \
  11            Specify KERN_VER=<version> (currently $(KERN_VER)) and run Make again)