Copy kernels in place

.github/workflows/build.yml

@@ -50,7 +50,6 @@ jobs:
       run: |
            set -ex
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
-           cp ./kernels/* ./circle-stdlib/libs/circle/boot/ || true
            cd ./circle-stdlib/libs/circle/boot
            make
            make armstub64
@@ -61,6 +60,7 @@ jobs:
            rm -rf sdcard/config32.txt sdcard/README sdcard/Makefile sdcard/armstub sdcard/COPYING.linux
            cp ./src/*img sdcard/
            cd sdcard
+           cp ../../../../kernels/* ./circle-stdlib/libs/circle/boot/ || true
            zip -r ../MiniDexed_$(date +%Y-%m-%d).zip *
     - name: Upload to GitHub Releases (only when building from main branch)
       if: ${{ github.ref == 'refs/heads/main' }}