Build for Raspberry Pi 5

Wild guess since https://github.com/rsta2/circle?tab=readme-ov-file#building doesn't really document it yet

.github/workflows/build.yml

@@ -27,6 +27,12 @@ jobs:
            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 5
+      run: |
+           set -ex
+           export PATH=$(readlink -f ./gcc-*aarch64-none*/bin/):$PATH
+           RPI=5 bash -ex build.sh
+           cp ./src/kernel*.img ./kernels/
     - name: Build for Raspberry Pi 4
       run: |
            set -ex