Index: Makefile.kmk
===================================================================
--- Makefile.kmk	(Revision 50574)
+++ Makefile.kmk	(Arbeitskopie)
@@ -1666,3 +1666,6 @@
 sdk-fetch:
 	+ $(KMK) VBOX_ONLY_SDK=1 -C tools
 
+
+bla:
+	echo PATH_TARGET: $(PATH_TARGET)
Index: src/VBox/Installer/linux/Makefile.include.header
===================================================================
--- src/VBox/Installer/linux/Makefile.include.header	(Revision 50574)
+++ src/VBox/Installer/linux/Makefile.include.header	(Arbeitskopie)
@@ -109,7 +109,11 @@
 
  # includes
  ifndef KERN_INCL
-  KERN_INCL = $(KERN_DIR)/include
+  ifeq ($(shell if test -d $(KERN_DIR)/include/generated/uapi; then echo yes; fi),yes)
+    KERN_INCL = $(KERN_DIR)/include/generated/uapi
+  else
+    KERN_INCL = $(KERN_DIR)/include
+  endif
  endif
  ifneq ($(shell if test -d $(KERN_INCL); then echo yes; fi),yes)
   $(error Error: unable to find the include directory for your current Linux \
