From ce1b3cb745c2722de33d052fac8a37aea0c70461 2018-12-05 15:40:07
From: Unknown <xyz258@abwesend.de>
Date: 2018-12-05 15:40:07
Subject: [PATCH] a
---

diff --git a/bootstrap.d/13-kernel.sh b/bootstrap.d/13-kernel.sh
index dd36b4f..44abd9e 100644
--- a/bootstrap.d/13-kernel.sh
+++ b/bootstrap.d/13-kernel.sh
@@ -9,6 +9,7 @@
 if [ "$ENABLE_NEXMON" = true ] ; then
   KERNEL_URL="${KALI_KERNEL_URL}"
   KERNEL_BRANCH=""
+  KERNELSRC_DIR=""
 fi
 
 # Fetch and build latest raspberry kernel