Agrego el linux-4.9 como kernel, pero no funciona aun

Makefile

@@ -63,7 +63,7 @@ HSI = hsi -nolog -nojournal -mode batch
 RM = rm -rf
 
 UBOOT_TAG = xilinx-v2018.3
-LINUX_TAG = 4.14
+LINUX_TAG = 4.9
 DTREE_TAG = xilinx-v2018.3
 
 UBOOT_DIR = tmp/u-boot-xlnx-$(UBOOT_TAG)

scripts/debian.sh

@@ -3,8 +3,8 @@ device=$1
 boot_dir=`mktemp -d /tmp/BOOT.XXXXXXXXXX`
 root_dir=`mktemp -d /tmp/ROOT.XXXXXXXXXX`
 
-linux_dir=tmp/linux-4.14
-linux_ver=4.14.42-xilinx
+linux_dir=tmp/linux-4.9
+linux_ver=4.9.99-xilinx
 
 # Choose mirror automatically, depending the geographic and network location
 #mirror=http://deb.debian.org/debian

settings.sh

@@ -16,7 +16,7 @@ export LC_ALL="en_US.UTF-8"
 # setup Xilinx Vivado FPGA tools
 ################################################################################
 
-. /tools/Xilinx/Vivado/2018.3/settings64.sh
+. /media/arnaldi/seagate4tb/xilinx/tools/Vivado/2018.3/settings64.sh
 
 ################################################################################
 # setup cross compiler toolchain