Changes to rebuild without recompiling

bootstrap.d/13-kernel.sh

@@ -15,7 +15,7 @@ fi
 
 # Fetch and build latest raspberry kernel
 case "$BUILD_KERNEL" in
-  "build")
+  "true")
 #if [ "$BUILD_KERNEL" = build ] ; then
   # Setup source directory
   mkdir -p "${KERNEL_DIR}"
@@ -800,10 +800,10 @@ case "$BUILD_KERNEL" in
       chroot_exec ln -sf /usr/src/linux "/lib/modules/${KERNEL_VERSION}/source"
     fi
   fi
-  ;;
+;;
 
 "download")
-else # BUILD_KERNEL=false
+#else # BUILD_KERNEL=false
   if [ "$SET_ARCH" = 64 ] ; then
     if [ "$RPI_MODEL" = 3 ] || [ "$RPI_MODEL" = 3P ] ; then
 	  # Use Sakakis modified kernel if ZSWAP is active
@@ -879,20 +879,19 @@ else # BUILD_KERNEL=false
     rm -fr "${temp_dir}"
 	rm -f "${R}"/tmp/kernel.deb
   fi
-fi
-  ;;
+
+  # Check if kernel installation was successful
+  KERNEL="$(ls -1 "${R}"/boot/firmware/kernel* | sort | tail -n 1)"
+  if [ -z "$KERNEL" ] ; then
+    echo "error: kernel installation failed! (/boot/kernel* not found)"
+    cleanup
+    exit 1
+  fi
+;;
 
 "uselocal")
   echo "using local kernel previous run"
-  ;;
+;;
   
 esac
-
-# Check if kernel installation was successful
-KERNEL="$(ls -1 "${R}"/boot/firmware/kernel* | sort | tail -n 1)"
-if [ -z "$KERNEL" ] ; then
-  echo "error: kernel installation failed! (/boot/kernel* not found)"
-  cleanup
-  exit 1
-fi
 #fi