diff --git a/config/gui/external.in b/config/gui/external.in
index 28c0a5c124..6e72d40f8d 100644
--- a/config/gui/external.in
+++ b/config/gui/external.in
@@ -87,6 +87,6 @@ menu "External processing"
 
 	source make/external.in.generated
 	source make/libs/external.in
-	source kernel/external.in
+	source make/linux/external.in
 
 endmenu # "External processing" #
diff --git a/kernel/external.files b/make/linux/external.files
similarity index 100%
rename from kernel/external.files
rename to make/linux/external.files
diff --git a/kernel/external.in b/make/linux/external.in
similarity index 100%
rename from kernel/external.in
rename to make/linux/external.in
diff --git a/tools/external b/tools/external
index 3294514102..d1b17a0ad1 100755
--- a/tools/external
+++ b/tools/external
@@ -67,7 +67,7 @@ fi
 
 #own files
 EXTERNAL_FILES="$EXTERNAL_OWN_FILES $EXTERNAL_DYNAMIC_FILES"
-for EXT_FILE in $(find make make/libs -maxdepth 2 -name external.files) kernel/external.files; do
+for EXT_FILE in $(find make make/libs -maxdepth 2 -name external.files); do
 	if [ "$EXTERNAL_DYNAMIC" == "y" ]; then
 		pkg=$(basename "${EXT_FILE%/external.files}")
 		echo "$EXTERNAL_SERVICES" | grep -qE "(^| )${pkg}( |$)" && continue