Preserve various kernels

https://github.com/probonopd/MiniDexed/issues/23

.github/workflows/build.yml

@@ -25,24 +25,26 @@ jobs:
            tar xf *-aarch64-none-elf.tar.xz
            wget -q https://developer.arm.com/-/media/Files/downloads/gnu-a/10.3-2021.07/binrel/gcc-arm-10.3-2021.07-x86_64-arm-none-eabi.tar.xz
            tar xf *-arm-none-eabi.tar.xz
+           mkdir -p kernels
     - name: Build for Raspberry Pi 4
       run: |
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
            RPI=4 bash -ex build.sh
-           ls src/*.img
+           cp ./circle-stdlib/libs/circle/kernel*.img ./kernels/
     - name: Build for Raspberry Pi 3
       run: |
            export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
            RPI=3 bash -ex build.sh
-           ls src/*.img
+           cp ./circle-stdlib/libs/circle/kernel*.img ./kernels/
     - name: Build for Raspberry Pi 2
       run: |
            export PATH=$(readlink -f ./gcc-*arm-none*/bin/):$PATH
            RPI=2 bash -ex build.sh
-           ls src/*.img
+           lcp ./circle-stdlib/libs/circle/kernel*.img ./kernels/
     - name: Get Raspberry Pi boot files
       run: |
            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