ci: upgrade OpenSBI to version 1.4

Signed-off-by: Martin Kröning <[email protected]>

Author: mkroening

.github/workflows/ci.yml

@@ -137,6 +137,11 @@ jobs:
           sudo apt-get install ${{ matrix.packages }}
       - name: Download loader
         run: gh release download --repo hermit-os/loader --pattern hermit-loader-${{ matrix.arch }}
+      - name: Dowload OpenSBI
+        if: matrix.arch == 'riscv64'
+        run: |
+          gh release download v1.4 --repo riscv-software-src/opensbi --pattern 'opensbi-*-rv-bin.tar.xz'
+          tar -xvf opensbi-*-rv-bin.tar.xz opensbi-1.4-rv-bin/share/opensbi/lp64/generic/firmware/fw_jump.bin
       - uses: mkroening/rust-toolchain-toml@main
       - uses: mkroening/rust-toolchain-toml@main
         with: