diff --git a/src/new_build.sh b/src/new_build.sh
index 33d24bb..82d4e57 100755
--- a/src/new_build.sh
+++ b/src/new_build.sh
@@ -82,6 +82,7 @@ do_cleanup() {
       cd "$source_dir"
       (set +eu ; mka "${jobs_arg[@]}" clean) &>> "$DEBUG_LOG"
       rm -rf vendor/* || true
+      rm -rf kernel/* || true
     fi
   fi
 }